Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

Truong Nghiem

Sriram Sankaranarayanan

Georgios E. Fainekos

Franjo Ivancic

Aarti Gupta

George J. Pappas

HSCC (2010), pp. 211-220

Google Scholar

Abstract