Falsification of LTL safety properties in hybrid systems

E. Plaku, L. E. Kavraki, and M. Y. Vardi, “Falsification of LTL safety properties in hybrid systems,” International Journal on Software Tools for Technology Transfer (STTT), vol. 15, no. 4, pp. 305–320, 2013.

Publisher: http://dx.doi.org/10.1007/s10009-012-0233-2

PDF preprint: http://kavrakilab.org/publications/plaku-kavraki2013falsification-of-ltl.pdf