Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning.
Zijian GuoWeichao ZhouWenchao LiPublished in: CoRR (2024)
Keyphrases
- temporal logic
- reinforcement learning
- transition systems
- model checking
- reactive systems
- linear temporal logic
- formal verification
- formal specification
- concurrent systems
- modal logic
- satisfiability problem
- dynamic constraints
- formal methods
- belief revision
- markov decision processes
- multi agent
- decision problems
- state space
- verification method
- bounded model checking
- automata theoretic
- model checker
- influence diagrams
- temporally extended
- heuristic search
- dynamic programming
- artificial intelligence