A Markov Reward Model Checker.
Joost-Pieter KatoenManeesh KhattriIvan S. ZapreevPublished in: QEST (2005)
Keyphrases
- model checker
- model checking
- formal methods
- formal verification
- description language
- temporal logic
- formal specification
- reinforcement learning
- symbolic model checking
- markov chain
- test suite
- set theory
- ai planning
- specification language
- software architecture
- bayesian networks
- relational databases
- expert systems
- description logics
- data model
- web services
- image processing