DRYVR: Data-driven verification and compositional reasoning for automotive systems

CAV, 2017.

Cited by: 28|Bibtex|Views19|Links
EI

Abstract:

We present the DryVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph specifying mode switches. The framework includes (a) a probabilistic algorithm for learning sensitivity of the continuous trajectories from simulation data, (b) ...More

Code:

Data:

Your rating :
0

 

Tags
Comments