Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics Download pdf Tags: Poster Session: Day 1 Academia Poster National CPS PI Meeting 2011 University of Utah tumor ablation model-checking medical robotics hybrid systems hybrid automata flow networks abstract interpretation License: CC-2.5 Submitted by Anonymous on Sun, 07/31/2011 - 17:44