Visible to the public Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics

Submitted by admin on Sun, 07/31/2011 - 6:44pm. Contributors:
Switch to experimental viewer

Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Contributor(s): 
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker