Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics

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