Login / Signup

Resolution-complete safety falsification of continuous time systems.

Amit BhatiaEmilio Frazzoli
Published in: CDC (2006)
Keyphrases