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},
}