A Trajectory Splicing Approach to Concretizing Counterexamples for Hybrid Systems
Conference Proceeding
Overview
publication date
- December 10, 2013
Date in CU Experts
- May 13, 2015 9:47 AM
Full Author List
- Zutshi A; Sankaranarayanan S; Deshmukh JV; Kapinski J
author count
- 4
citation count
- 18
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0743-1546
Additional Document Info
start page
- 3918
end page
- 3925