Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
Sadegh Esmaeil Zadeh SoudjaniRupak MajumdarTigran NagapetyanPublished in: CoRR (2017)
Keyphrases
- model checking
- hybrid systems
- monte carlo method
- markov chain
- monte carlo
- black box
- intelligent systems
- discrete event
- artificial intelligence
- soft computing
- computational intelligence
- neural network
- meta learning
- genetic algorithm
- machine learning
- dynamic systems
- search strategies
- posterior distribution
- pattern recognition
- reinforcement learning
- optimal solution
- support vector
- prior knowledge
- training set