%0 Conference Paper %1 conf/hybrid/QiFJM18 %A Qi, Bolun %A Fan, Chuchu %A Jiang, Minghao %A Mitra, Sayan %B HSCC %D 2018 %E Prandini, Maria %E Deshmukh, Jyotirmoy V. %I ACM %K dblp %P 269-270 %T DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2018.html#QiFJM18

@inproceedings{conf/hybrid/QiFJM18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Qi, Bolun and Fan, Chuchu and Jiang, Minghao and Mitra, Sayan}, biburl = {https://www.bibsonomy.org/bibtex/241f8987668bde81e87cccb2f665c1455/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2018}, editor = {Prandini, Maria and Deshmukh, Jyotirmoy V.}, ee = {https://doi.org/10.1145/3178126.3187008}, interhash = {f1f5cb9b4daa6968a9aac8adbb3682d3}, intrahash = {41f8987668bde81e87cccb2f665c1455}, keywords = {dblp}, pages = {269-270}, publisher = {ACM}, timestamp = {2024-04-10T10:15:47.000+0200}, title = {DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2018.html#QiFJM18}, year = 2018 }