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 |
Authors | Qi B, Fan C, Jiang M, Mitra S |
Conference Name | Hybrid Systems: Computation and Control - 21st International Conference, (HSCC) |
Publisher | ACM Press |
Conference Location | Porto, Portugal |
ISBN Number | 9781450356428 |
URL | http://dl.acm.org/citation.cfm?doid=3178126.3187008 |
DOI | 10.1145/3178126.3187008 |
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
Submitted by chuchu@mit.edu on