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