Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. Fan, C., Qi, B., Mitra, S., Viswanathan, M., & Duggirala, P. S. In Chaudhuri, S. & Farzan, A., editors, Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, volume 9779, of Lecture Notes in Computer Science, pages 531–538, 2016. Springer.
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/cav/FanQM0D16,
  author    = {Chuchu Fan and
               Bolun Qi and
               Sayan Mitra and
               Mahesh Viswanathan and
               Parasara Sridhar Duggirala},
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {Automatic Reachability Analysis for Nonlinear Hybrid Models with {C2E2}},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9779},
  pages     = {531--538},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41528-4\_29},
  doi       = {10.1007/978-3-319-41528-4\_29},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/FanQM0D16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0