@inproceedings{95e5dab70393476797b96bb80a4aecbb,
title = "Run-time Monitoring for Robot-Assisted Surgery",
abstract = "We present a proposal to support surgeons during robot-assisted surgery. Our approach is based on run-time monitoring for properties that should hold during the surgery, and issuing a warning to the surgeon if they are violated. We outline the general approach involving properties that require both visual input from the cameras as well as kinematic information obtained from the robot{\textquoteright}s manipulators. Then we describe preliminary work on monitoring using purely kinematic information.",
keywords = "Linear temporal logic, Robot-assisted surgery, Runtime verification",
author = "Kristina Gogoladze and Natasha Alechina and Hu, {Zhaoyang Jacopo} and Haozheng Xu and {van Jaarsveld}, Romy and Ruurda, {Jelle P.}",
note = "Publisher Copyright: {\textcopyright} 2024 Copyright for this paper by its authors.; 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024 ; Conference date: 28-11-2024 Through 29-11-2024",
year = "2025",
month = jan,
day = "19",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
pages = "127--133",
booktitle = "Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis",
address = "Germany",
}