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

Title

Publication Type

Conference Paper

Year of Publication

2018

Authors

Conference Name

Hybrid Systems: Computation and Control – 21st International Conference, (HSCC)

Publisher

ACM Press

Conference Location

Porto, Portugal

ISBN Number

9781450356428

URL

DOI