Falsification of LTL Safety Properties in Hybrid Systems.

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

Browse the full TACAS paper archive.