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
120
Link opens in a new tab
Scopus
citations