Needle Steering in Uppaal.

Sascha Lehmann Antje Rogalla Maximilian Neidhardt Anton Reinecke Alexander Schlaefer Sibylle Schupp

Published in: MARS@ETAPS (2022)

Keyphrases

model checking
timed automata
controller synthesis
needle insertion
model checker
decision trees
minimally invasive
robot assisted
artificial intelligence
three dimensional
multiscale
image registration
vision system
closed loop
temporal logic