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

TitleDryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems
Publication TypeConference Paper
Year of Publication2018
AuthorsQi B, Fan C, Jiang M, Mitra S
Conference NameHybrid Systems: Computation and Control - 21st International Conference, (HSCC)
PublisherACM Press
Conference LocationPorto, Portugal
ISBN Number9781450356428
URLhttp://dl.acm.org/citation.cfm?doid=3178126.3187008
DOI10.1145/3178126.3187008