MIT
MIT AERO

chuchu

Building Safe Autonomy

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


Title

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
Publication Type
Conference Paper
Year of Publication
2018
Conference Name
Hybrid Systems: Computation and Control – 21st International Conference, (HSCC)
Publisher
ACM Press
Conference Location
Porto, Portugal
ISBN Number
9781450356428