Login / Signup

A trajectory splicing approach to concretizing counterexamples for hybrid systems.

Aditya ZutshiSriram SankaranarayananJyotirmoy V. DeshmukhJames Kapinski
Published in: CDC (2013)
Keyphrases