@INPROCEEDINGS{DBLP:conf/hybrid/KouskoulasRPK13,
pdf = {pub/medrobot.pdf},
slides = {pub/medrobot-slides.pdf},
study = {pub/medrobot-examples.zip},
author = {Yanni Kouskoulas and
David W. Renshaw and
Andr{\'e} Platzer and
Peter Kazanzides},
title = {Certifying the Safe Design of a Virtual
Fixture Control Algorithm for a Surgical
Robot},
year = {2013},
pages = {263-272},
doi = {10.1145/2461328.2461369},
publisher = {ACM},
editor = {Calin Belta and
Franjo Ivancic},
booktitle = {Hybrid Systems: Computation and Control
(part of CPS Week 2013), HSCC'13,
Philadelphia, PA, USA, April 8-13, 2013},
}```