Login / Signup

Sampling-based resolution-complete safety falsification of linear hybrid systems.

Amit BhatiaEmilio Frazzoli
Published in: CDC (2007)
Keyphrases