Automated Verification and Strategy Synthesis for Probabilistic Systems.
Marta Z. KwiatkowskaDavid ParkerPublished in: ATVA (2013)
Keyphrases
- automated verification
- management system
- model checking
- bayesian networks
- automated reasoning
- generative model
- formal verification
- social network analysis
- complex systems
- distributed systems
- optimal strategy
- metaheuristic
- building blocks
- database
- graphical models
- programming language
- case study
- decision making
- artificial intelligence
- information retrieval
- data sets
- real time