Searching for "Falsification of LTL Safety Properties in Hybrid Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Falsification of LTL Safety Properties in Hybrid Systems
by Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
…Falsification of LTL Safety Properties in Hybrid Systems Erion Plaku, Lydia E. Kavraki, and Moshe…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB