Multiple shooting, CEGAR-based falsification for hybrid systems.
Conference Proceeding
Overview
publication date
- January 1, 2014
Date in CU Experts
- January 28, 2016 4:38 AM
Full Author List
- Zutshi A; Deshmukh JV; Sankaranarayanan S; Kapinski J
Full Editor List
- Mitra T; Reineke J
author count
- 4
Additional Document Info
start page
- 5:1
end page
- 5:1