PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.
Pranav AshokJan KretínskýMaximilian WeiningerPublished in: CoRR (2019)
Keyphrases
- markov decision processes
- stochastic games
- model checking
- reachability analysis
- finite state
- average reward
- optimal policy
- state space
- reinforcement learning algorithms
- dynamic programming
- policy iteration
- reinforcement learning
- finite state machines
- multiagent reinforcement learning
- partially observable
- average cost
- finite horizon
- infinite horizon
- markov decision process
- machine learning