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.- Sort by
- Weight
- Alphabetically
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 proceeding › Conference contribution
107
Scopus
citations