Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty. Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. In Thao Dang 0001, Volker Stolz, editors, Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings. Volume 13498 of Lecture Notes in Computer Science, pages 25-44, Springer, 2022. [doi]

This author has not been identified. Look up 'Gaurav Gupta' in GoogleThis author has not been identified. Look up 'Saumya Shankar' in GoogleThis author has not been identified. Look up 'Srinivas Pinisetty' in Google

runs on WebDSL