Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski. A trajectory splicing approach to concretizing counterexamples for hybrid systems. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 3918-3925, IEEE, 2013. [doi]
Abstract is missing.