Fast Temporal Logic Mission Planning of Multiple Robots: A Planning Decision Tree Approach.
Ziyang ChenZhangli ZhouShaochen WangJinsong LiZhen KanPublished in: IEEE Robotics Autom. Lett. (2024)
Keyphrases
- temporal logic
- mission planning
- multiple robots
- decision trees
- path planning
- model checking
- multi robot
- mobile robot
- modal logic
- autonomous robots
- multi robot exploration
- unmanned aerial vehicles
- collision avoidance
- linear temporal logic
- ant colony
- decision making
- software agents
- verification method
- temporally extended goals
- motion planning
- computation tree logic
- belief revision
- multiple targets
- video sequences