Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata.
Ryohei OuraAmi SakakibaraToshimitsu UshioPublished in: IEEE Control. Syst. Lett. (2020)
Keyphrases
- control policy
- linear temporal logic
- reinforcement learning
- bounded model checking
- deterministic automata
- model checking
- temporal logic
- approximate dynamic programming
- finite state
- long run
- control policies
- average cost
- turing machine
- finite state automaton
- transition systems
- finite automata
- concurrent systems
- model checker
- formal specification
- formal verification
- state space
- function approximation
- markov decision processes
- multi agent
- optimal policy
- reactive systems
- optimal control
- learning algorithm
- hidden state
- action space
- specification language
- regular expressions
- dynamic programming
- multistage
- markov chain