NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots.
Ruijia LiuShaoyuan LiXiang YinPublished in: ICRA (2024)
Keyphrases
- temporal logic
- mobile robot
- neural network
- temporally extended goals
- model checking
- modal logic
- motion planning
- satisfiability problem
- concurrent systems
- temporally extended
- computation tree logic
- path planning
- automata theoretic
- linear temporal logic
- optimal solution
- mazurkiewicz traces
- optimal planning
- model checker
- multi robot
- heuristic search
- temporal knowledge
- dynamic programming
- formal specification language
- formal verification
- transition systems
- formal methods
- dynamic environments
- expert systems