Automated Verification Techniques for Probabilistic Systems.
Vojtech ForejtMarta Z. KwiatkowskaGethin NormanDavid ParkerPublished in: SFM (2011)
Keyphrases
- automated verification
- model checking
- bayesian networks
- expert systems
- distributed systems
- automated reasoning
- generative model
- neural network
- hidden markov models
- probabilistic model
- management system
- simulated annealing
- database
- data driven
- information retrieval
- building blocks
- learning systems
- complex systems
- temporal logic
- databases
- formal verification
- data sets