Run-time verification of robot-assisted surgery using visual input
Date
2025-08-09
Journal Title
Journal ISSN
Volume Title
Publisher
Citation
Gogoladze, K, Alechina, N, van Jaarsveld, R, De Jong, R, Al Khalil, Y, Kuiper, G, Logan, B & Ruurda, J 2025, 'Run-time verification of robot-assisted surgery using visual input', CEUR Workshop Proceedings.