Falsification of LTL safety properties in hybrid systems

Publication Type:

Journal Article

Authors:

Plaku, Erion; Lydia Kavraki; Vardi, Moshe

Source:

International Journal on Software Tools for Technology Transfer (STTT), Springer Berlin / Heidelberg (2012)

URL:

http://www.springerlink.com/content/q3101r420j5333w8/

Keywords:

kavrakilab
Preprint PDF     Publisher's web site