=Paper=
{{Paper
|id=Vol-3904/paper16
|storemode=property
|title=Run-time Monitoring for Robot-Assisted Surgery
|pdfUrl=https://ceur-ws.org/Vol-3904/paper16.pdf
|volume=Vol-3904
|authors=Kristina Gogoladze,Natasha Alechina,Zhaoyang Jacopo Hu,Haozheng Xu,Romy van Jaarsveld,Jelle P. Ruurda
|dblpUrl=https://dblp.org/rec/conf/overlay/GogoladzeAHXJR24
}}
==Run-time Monitoring for Robot-Assisted Surgery==
None