Reinforcement Learning With Temporal Logic Rewards.
Xiao LiCristian Ioan VasileCalin BeltaPublished in: CoRR (2016)
Keyphrases
- temporal logic
- reinforcement learning
- model checking
- modal logic
- markov decision processes
- state space
- satisfiability problem
- reward function
- reinforcement learning algorithms
- reward shaping
- computation tree logic
- concurrent systems
- multi agent
- continuous state
- mazurkiewicz traces
- learning algorithm
- control policy
- temporal knowledge
- verification method
- model free
- belief revision
- linear temporal logic
- hidden state
- transition systems
- function approximators
- temporal constraints
- optimal policy