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

Kristina Gogoladze; Romy van Jaarsveld; Natasha Alechina; Ronald de Jong; Yasmina Al Khalil; Gino Kuiper; Brian Logan; Jelle P. Ruurda

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

Kristina Gogoladze^*
, Romy van Jaarsveld
, Natasha Alechina
, Ronald de Jong
, Yasmina Al Khalil
, Gino Kuiper
, Brian Logan
, Jelle P. Ruurda

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › Academic › peer-review

Abstract

We present a preliminary study of the feasibility of using run-time verification to provide intraoperative warnings during robot-assisted surgery for cancer. Robot-assisted surgery offers several advantages over traditional surgery. However, it can be challenging for surgeons, particularly if they lack experience in the procedure being performed. We report the results of a survey to elicit from surgeons which clinically relevant properties should be monitored, and present a proof-of-concept evaluation of the feasibility of monitoring using the video image available to the surgeon as input, which suggests that real-time monitoring for violations of clinically relevant properties is possible.

Original language	English
Pages (from-to)	85-91
Number of pages	7
Journal	CEUR Workshop Proceedings
Volume	4142
Publication status	Published - 2025
Event	7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025 - Bologna, Italy Duration: 26 Oct 2025 → 26 Oct 2025

Keywords

Clinically relevant properties
Image segmentation
Robot-assisted surgery
Run-time verification

Cite this

@article{a4d5f82225624c1ba31651d47f7fd159,

title = "Run-time verification of robot-assisted surgery using visual input",

abstract = "We present a preliminary study of the feasibility of using run-time verification to provide intraoperative warnings during robot-assisted surgery for cancer. Robot-assisted surgery offers several advantages over traditional surgery. However, it can be challenging for surgeons, particularly if they lack experience in the procedure being performed. We report the results of a survey to elicit from surgeons which clinically relevant properties should be monitored, and present a proof-of-concept evaluation of the feasibility of monitoring using the video image available to the surgeon as input, which suggests that real-time monitoring for violations of clinically relevant properties is possible.",

keywords = "Clinically relevant properties, Image segmentation, Robot-assisted surgery, Run-time verification",

author = "Kristina Gogoladze and \{van Jaarsveld\}, Romy and Natasha Alechina and \{de Jong\}, Ronald and Khalil, \{Yasmina Al\} and Gino Kuiper and Brian Logan and Ruurda, \{Jelle P.\}",

note = "Publisher Copyright: {\textcopyright} 2025 Copyright for this paper by its authors.; 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025 ; Conference date: 26-10-2025 Through 26-10-2025",

year = "2025",

language = "English",

volume = "4142",

pages = "85--91",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

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

AU - Gogoladze, Kristina

AU - van Jaarsveld, Romy

AU - Alechina, Natasha

AU - de Jong, Ronald

AU - Khalil, Yasmina Al

AU - Kuiper, Gino

AU - Logan, Brian

AU - Ruurda, Jelle P.

PY - 2025

Y1 - 2025

N2 - We present a preliminary study of the feasibility of using run-time verification to provide intraoperative warnings during robot-assisted surgery for cancer. Robot-assisted surgery offers several advantages over traditional surgery. However, it can be challenging for surgeons, particularly if they lack experience in the procedure being performed. We report the results of a survey to elicit from surgeons which clinically relevant properties should be monitored, and present a proof-of-concept evaluation of the feasibility of monitoring using the video image available to the surgeon as input, which suggests that real-time monitoring for violations of clinically relevant properties is possible.

AB - We present a preliminary study of the feasibility of using run-time verification to provide intraoperative warnings during robot-assisted surgery for cancer. Robot-assisted surgery offers several advantages over traditional surgery. However, it can be challenging for surgeons, particularly if they lack experience in the procedure being performed. We report the results of a survey to elicit from surgeons which clinically relevant properties should be monitored, and present a proof-of-concept evaluation of the feasibility of monitoring using the video image available to the surgeon as input, which suggests that real-time monitoring for violations of clinically relevant properties is possible.

KW - Clinically relevant properties

KW - Image segmentation

KW - Robot-assisted surgery

KW - Run-time verification

UR - https://www.scopus.com/pages/publications/105038647039

M3 - Conference article

AN - SCOPUS:105038647039

SN - 1613-0073

VL - 4142

SP - 85

EP - 91

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025

Y2 - 26 October 2025 through 26 October 2025

ER -

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

Abstract

Keywords

Other files and links

Fingerprint

Cite this