| 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