LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications.
Jiming RenHaris MillerKaren M. FeighSamuel CooganYe ZhaoPublished in: CoRR (2024)
Keyphrases
- linear temporal logic
- bounded model checking
- temporal logic
- model checking
- transition systems
- formal verification
- classical planning
- optimal solution
- concurrent systems
- deterministic automata
- temporally extended goals
- model checker
- specification language
- search space
- planning domains
- linear time temporal logic
- dynamic programming