Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.

Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa

Browse the full DSD paper archive.