Verification Featured Projects: Right Column
In-Silico Functional Verification of Artificial
Pancreas Control Algorithms
Sriram Sankaranarayanan
(CU Boulder)
Methods and Tools for the Verification
of Cyber-Physical Systems
Chris Myers (Utah) and Hao Zheng (USF)
Robustness Guided Testing and Verification
for Cyber-Physical Systems
Georgios Fainekos (Arizona State)
Safety-Oriented Hybrid Verification
for Medical Robotics
Matthew Might (Utah)
