Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics Download pdf Tags: abstract interpretation flow networks hybrid automata hybrid systems medical robotics model-checking tumor ablation University of Utah Robotics Validation and Verification CPS Domains Medical Devices Health Care Foundations National CPS PI Meeting 2011 Academia Project Abstracts License: CC-2.5 Submitted by Matthew Might on Fri, 11/04/2011 - 10:50