chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
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
Authors
Qi, Bolun
Fan, Chuchu
Jiang, Minghao
Mitra, Sayan
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
http://dx.doi.org/10.1145/3178126.3187008
Google Scholar