Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring.

Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty

Browse the full RV paper archive.