Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.
Truong NghiemSriram SankaranarayananGeorgios FainekosFranjo IvancicAarti GuptaGeorge J. PappasPublished in: HSCC (2010)
Keyphrases
- monte carlo
- hybrid systems
- temporal properties
- model checking
- black box
- intelligent systems
- meta learning
- neural network
- discrete event
- formal methods
- computational intelligence
- possibility theory
- markov chain
- soft computing
- particle filter
- monte carlo tree search
- artificial intelligence
- inductive learning
- simulation model