Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
Sadegh Esmaeil Zadeh SoudjaniRupak MajumdarTigran NagapetyanPublished in: QEST (2017)
Keyphrases
- model checking
- hybrid systems
- monte carlo method
- markov chain
- monte carlo
- neural network
- black box
- discrete event
- intelligent systems
- meta learning
- soft computing
- computational intelligence
- posterior distribution
- artificial intelligence
- mathematical models
- probability distribution
- genetic algorithm
- dynamic systems
- inductive learning
- learning algorithm