A Trajectory Splicing Approach to Concretizing Counterexamples for Hybrid Systems Conference Proceeding uri icon

Overview

publication date

  • December 10, 2013

Full Author List

  • Zutshi A; Sankaranarayanan S; Deshmukh JV; Kapinski J

Additional Document Info

start page

  • 3918

end page

  • 3925