Statistical Model Checking for Markov Decision Processes.
David HenriquesJoão G. MartinsPaolo ZulianiAndré PlatzerEdmund M. ClarkePublished in: QEST (2012)
Keyphrases
- model checking
- markov decision processes
- reachability analysis
- finite state
- temporal logic
- state space
- timed automata
- model checker
- optimal policy
- formal verification
- finite state machines
- decision theoretic planning
- policy iteration
- planning under uncertainty
- transition matrices
- dynamic programming
- reinforcement learning
- computation tree logic
- verification method
- epistemic logic
- partially observable
- average cost
- reinforcement learning algorithms
- infinite horizon
- monte carlo
- incremental algorithms