Sign in
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.
Davide Bresolin
Luca Geretti
Riccardo Muradore
Paolo Fiorini
Tiziano Villa
Published in:
DSD (2014)
Keyphrases
</>
reachability analysis
model checking
robotic systems
manipulation tasks
markov decision processes
temporal logic
real time
computer assisted
autonomous robots
formal methods
service robots
timed automata
real robot
robot assisted