Multiple shooting, CEGAR-based falsification for hybrid systems

Aditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski. Multiple shooting, CEGAR-based falsification for hybrid systems. In 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. IEEE, 2014. [doi]

@inproceedings{ZutshiDSK14,
  title = {Multiple shooting, CEGAR-based falsification for hybrid systems},
  author = {Aditya Zutshi 0001 and Jyotirmoy V. Deshmukh and Sriram Sankaranarayanan and James Kapinski},
  year = {2014},
  doi = {10.1145/2656045.2656061},
  url = {http://doi.acm.org/10.1145/2656045.2656061},
  researchr = {https://researchr.org/publication/ZutshiDSK14},
  cites = {0},
  citedby = {0},
  booktitle = {2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014},
  publisher = {IEEE},
}