Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Christel BaierJoachim KleinLinda LeuschnerDavid ParkerSascha WunderlichPublished in: CAV (1) (2017)
Keyphrases
- markov decision processes
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- finite state
- description language
- ai planning
- planning under uncertainty
- test suite
- state space
- set theory
- formal specification
- transition matrices
- optimal policy
- decision theoretic planning
- dynamic programming
- reinforcement learning
- policy iteration
- infinite horizon
- specification language
- average cost
- markov decision process
- average reward
- partially observable
- neural network
- objective function
- decision making