Reinforcement Learning for Non-Deterministic Transition Systems With an Application to Symbolic Control.
Alessandro BorriCorrado PossieriPublished in: IEEE Control. Syst. Lett. (2023)
Keyphrases
- reinforcement learning
- transition systems
- model checking
- concurrent systems
- fully observable
- optimal control
- finite state
- temporal logic
- function approximation
- multi agent
- control flow
- action selection
- reinforcement learning algorithms
- model free
- partially observable markov decision processes
- partial observability
- decentralized control
- markov decision processes
- state space
- search space