Run-time verification of robot-assisted surgery using visual input

dc.contributor.author	Gogoladze, Kristina
dc.contributor.author	Alechina, Natasha
dc.contributor.author	van Jaarsveld, Romy
dc.contributor.author	De Jong, Ronald
dc.contributor.author	Al Khalil, Yasmina
dc.contributor.author	Kuiper, Gino
dc.contributor.author	Logan, Brian
dc.contributor.author	Ruurda, Jelle
dc.contributor.institution	University of Aberdeen.Agents at Aberdeen	en
dc.contributor.institution	University of Aberdeen.Computing Science	en
dc.date.accessioned	2025-10-25T23:03:15Z
dc.date.embargoedUntil	2025-10-26
dc.date.issued	2025-08-09
dc.description.status	Peer reviewed	en
dc.format.extent	578282
dc.identifier	307743152
dc.identifier	8f24a6d9-c018-4bcf-be82-c363c04a9cc6
dc.identifier.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.	en
dc.identifier.issn	1613-0073
dc.identifier.uri	https://hdl.handle.net/2164/26297
dc.identifier.url	https://ceur-ws.org/	en
dc.language.iso	eng
dc.relation.ispartof	CEUR Workshop Proceedings	en
dc.subject	SDG 3 - Good Health and Well-being	en
dc.subject	Robot-assisted surgery	en
dc.subject	Clinically relevant properties	en
dc.subject	Image segmentation	en
dc.subject	Run-time verification	en
dc.subject	RD Surgery	en
dc.subject	QA75 Electronic computers. Computer science	en
dc.subject.lcc	RD	en
dc.subject.lcc	QA75	en
dc.title	Run-time verification of robot-assisted surgery using visual input	en
dc.type	Journal item	en

Files

Now showing 1 - 1 of 1