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

Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa. Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. In 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014. pages 659-662, IEEE, 2014. [doi]

Abstract

Abstract is missing.