Multiple shooting, CEGAR-based falsification for hybrid systems.

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski

Browse the full EMSOFT paper archive.