Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning.
Siqi WangShaoyuan LiLi YinXiang YinPublished in: ICRA (2024)
Keyphrases
- temporal logic
- reinforcement learning
- model checking
- optimal policy
- satisfiability problem
- modal logic
- temporally extended
- concurrent systems
- policy search
- temporal knowledge
- model checker
- function approximation
- mazurkiewicz traces
- reinforcement learning agents
- temporal information
- markov decision processes
- computation tree logic
- belief revision
- verification method
- symbolic model checking
- transition systems
- state space
- dynamic programming
- linear temporal logic
- multi agent