Qualitative Controller Synthesis for Consumption Markov Decision Processes.
Frantisek BlahoudekTomás BrázdilPetr NovotnýMelkior OrnikPranay ThangedaUfuk TopcuPublished in: CoRR (2020)
Keyphrases
- infinite horizon
- markov decision processes
- controller synthesis
- optimal policy
- autonomic computing systems
- finite horizon
- closed loop
- policy iteration
- finite state
- dynamic programming
- state space
- control system
- average cost
- reinforcement learning
- transition matrices
- multi agent
- model based reinforcement learning
- decision theoretic planning
- reachability analysis
- markov decision process
- average reward
- factored mdps
- partially observable
- action space
- planning under uncertainty
- action sets
- control algorithm
- partially observable markov decision processes
- autonomic systems
- fixed point