=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== https://ceur-ws.org/Vol-3904/paper16.pdf
None