Transfer of Temporal Logic Formulas in Reinforcement Learning.
Zhe XuUfuk TopcuPublished in: CoRR (2019)
Keyphrases
- temporal logic
- reinforcement learning
- transfer learning
- model checking
- linear time temporal logic
- modal logic
- modal operators
- logical formulas
- satisfiability problem
- state space
- concurrent systems
- mazurkiewicz traces
- markov decision processes
- computation tree logic
- formal specification language
- belief revision
- dynamic programming
- linear temporal logic
- model checker
- verification method
- predicate logic
- temporal knowledge
- temporally extended
- reactive systems
- multi agent
- transition systems
- partially observable
- optimal policy
- automata theoretic
- distributed systems