Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems.
Christian EllenSebastian GerwinnMartin FränzlePublished in: FORMATS (2012)
Keyphrases
- model checking
- confidence bounds
- hybrid systems
- temporal logic
- formal specification
- formal verification
- model checker
- soft computing
- intelligent systems
- meta learning
- black box
- neural network
- computational intelligence
- artificial intelligence
- computation tree logic
- verification method
- discrete event
- symbolic model checking
- formal methods
- alternating time temporal logic
- bayesian networks
- fuzzy logic
- bounded model checking
- dynamic programming
- machine learning
- orders of magnitude