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

Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivančić, Aarti Gupta, George J. Pappas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

80 Scopus citations

Fingerprint Dive into the research topics of 'Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems'. Together they form a unique fingerprint.

Engineering & Materials Science