Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications.
Kyoungho LeeKyunghoon ChoPublished in: IEEE Access (2024)
Keyphrases
- path planning
- deep learning
- temporal logic
- concurrent systems
- transition systems
- model checking
- model checker
- reactive systems
- bounded model checking
- formal specification language
- mobile robot
- collision avoidance
- formal specification
- dynamic environments
- path planning algorithm
- unsupervised learning
- machine learning
- multi robot
- linear temporal logic
- weakly supervised
- belief revision
- dynamic and uncertain environments
- formal verification
- motion planning
- verification method
- mental models
- active contours
- optimal path
- multiple robots
- search algorithm