Gogoladze, KristinaAlechina, Natashavan Jaarsveld, RomyDe Jong, RonaldAl Khalil, YasminaKuiper, GinoLogan, BrianRuurda, Jelle2025-10-252025-08-09Gogoladze, 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.1613-0073https://hdl.handle.net/2164/26297578282engSDG 3 - Good Health and Well-beingRobot-assisted surgeryClinically relevant propertiesImage segmentationRun-time verificationRD SurgeryQA75 Electronic computers. Computer scienceRDQA75Journal itemhttps://ceur-ws.org/