Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques.
Fedor ShmarovPaolo ZulianiPublished in: Haifa Verification Conference (2016)
Keyphrases
- monte carlo
- hybrid systems
- black box
- intelligent systems
- monte carlo simulation
- neural network
- meta learning
- computational intelligence
- markov chain
- discrete event
- importance sampling
- particle filter
- soft computing
- probabilistic model
- monte carlo tree search
- matrix inversion
- markovian decision
- artificial intelligence
- adaptive sampling
- search algorithm
- decision trees
- metamodel
- inductive learning
- state space
- variance reduction
- decision making
- quasi monte carlo