Biblio
Found 1 results
Filters: Author is Jiang, Minghao [Clear All Filters]
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. Hybrid Systems: Computation and Control - 21st International Conference, (HSCC). :269–270.
.
2018.