BibTeX record conf/hybrid/QiFJM18

• > Home > conf/hybrid/QiFJM18

@inproceedings{DBLP:conf/hybrid/QiFJM18,
  author       = {Bolun Qi and
                  Chuchu Fan and
                  Minghao Jiang and
                  Sayan Mitra},
  editor       = {Maria Prandini and
                  Jyotirmoy V. Deshmukh},
  title        = {DryVR 2.0: {A} tool for verification and controller synthesis of black-box
                  cyber-physical systems},
  booktitle    = {Proceedings of the 21st International Conference on Hybrid Systems:
                  Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
                  Portugal, April 11-13, 2018},
  pages        = {269--270},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178126.3187008},
  doi          = {10.1145/3178126.3187008},
  timestamp    = {Sat, 30 Sep 2023 09:42:51 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/QiFJM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}