Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.
Henri HansenMarta Z. KwiatkowskaHongyang QuPublished in: QEST (2011)
Keyphrases
- partial order reduction
- model checking
- markov decision processes
- reachability analysis
- temporal logic
- finite state
- petri net
- formal verification
- optimal policy
- state space
- reinforcement learning
- dynamic programming
- decision theoretic planning
- policy iteration
- finite state machines
- timed automata
- verification method
- formal methods
- reinforcement learning algorithms
- partially observable
- planning under uncertainty
- average cost
- infinite horizon
- action space
- resource allocation
- markov decision process
- reward function
- epistemic logic
- game theory
- modal logic