Read Publication
http://dx.doi.org/10.1007/978-3-642-00768-2_31
The following have contributed to this page: Professor Lydia E Kavraki
In partnership with:
This shareable PDF can be hosted on any platform or network and is fully compliant with publisher copyright.
Falsification of LTL Safety Properties in Hybrid Systems
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi- January 2009, Springer Science + Business Media
- DOI: 10.1007/978-3-642-00768-2_31