Visible to the public Connecting Safety Verification with Implementable Hybrid Programs

Submitted by sloos@cs.cmu.edu on Wed, 02/12/2014 - 3:59pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Connecting Safety Verification with Implementable Hybrid Programs
Switch to experimental viewer