Login / Signup

Hybrid systems: from verification to falsification by combining motion planning and discrete search.

Erion PlakuLydia E. KavrakiMoshe Y. Vardi
Published in: Formal Methods Syst. Des. (2009)
Keyphrases