Hybrid Systems: From Verification to Falsification.

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi

Browse the full CAV paper archive.