[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Multiple shooting, CEGAR-based falsification for hybrid systems
Zutshi, Aditya, Deshmukh, Jyotirmoy V., Sankaranarayanan, Sriram, Kapinski, JamesYear:
2014
Language:
english
DOI:
10.1145/2656045.2656061
File:
PDF, 471 KB
english, 2014