Reinforcement learning under temporal logic constraints as a sequence modeling problem.
Daiying TianHao FangQingkai YangHaoyong YuWenyu LiangYan WuPublished in: Robotics Auton. Syst. (2023)
Keyphrases
- temporal logic
- reinforcement learning
- model checking
- modal logic
- dynamic constraints
- automata theoretic
- temporal knowledge
- satisfiability problem
- concurrent systems
- verification method
- linear temporal logic
- markov decision processes
- computation tree logic
- linear time temporal logic
- mazurkiewicz traces
- bounded model checking
- reactive systems
- hidden state
- temporal reasoning
- temporal information