Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics

  • 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
Submitted by Matthew Might on