Partially Observable Concurrent Kleene Algebra.
Jana WagemakerPaul BrunetSimon DochertyTobias KappéJurriaan RotAlexandra SilvaPublished in: CONCUR (2020)
Keyphrases
- partially observable
- state space
- markov decision processes
- decision problems
- dynamical systems
- reinforcement learning
- partial observability
- infinite horizon
- markov decision problems
- hidden state
- partial observations
- action models
- partially observable domains
- belief state
- belief space
- dynamic programming
- partially observable environments
- finite state
- dynamic systems
- query language
- reward function
- optimal policy
- partially observable markov decision processes
- learning algorithm