DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
HSCC, pp. 269-270, 2018.
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
Full Text (Upload PDF)
PPT (Upload PPT)