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