Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions.
Xiao LiCalin BeltaPublished in: CoRR (2019)
Keyphrases
- temporal logic
- reinforcement learning
- model checking
- modal logic
- optimal control
- satisfiability problem
- concurrent systems
- function approximation
- linear temporal logic
- verification method
- dynamic programming
- belief revision
- state space
- model checker
- symbolic model checking
- computation tree logic
- mazurkiewicz traces
- first order logic
- learning algorithm
- transition systems
- multi agent
- formal specification language