Biblio

Found 1 results
Filters: Author is Jiang, Minghao  [Clear All Filters]
2018
Qi B, Fan C, Jiang M, Mitra S.  2018.  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.