DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems

Bolun Qi
Bolun Qi
Minghao Jiang
Minghao Jiang

HSCC, pp. 269-270, 2018.

Cited by: 1|Bibtex|Views0|Links
EI

Abstract:

We present a demo of DryVR 2.0, a framework for verification and controller synthesis of cyber-physical systems composed of black-box simulators and white-box automata. For verification, DryVR 2.0 takes as input a black-box simulator, a white-box transition graph, a time bound and a safety specification. As output it generates over-approx...More

Code:

Data:

Your rating :
0

 

Tags
Comments