@inproceedings{Bresolin_2014,
title={Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools},
url={http://dx.doi.org/10.1109/dsd.2014.55},
DOI={10.1109/dsd.2014.55},
booktitle={2014 17th Euromicro Conference on Digital System Design},
publisher={IEEE},
author={Bresolin,
Davide and Geretti,
Luca and Muradore,
Riccardo and Fiorini,
Paolo and Villa,
Tiziano},
year={2014},
month=aug }