Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems.
Kotaro NagaeToshimitsu UshioPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2024)
Keyphrases
- path planning
- multi robot systems
- multi robot
- multiple robots
- mobile robot
- collision avoidance
- linear time temporal logic
- path planning algorithm
- dynamic environments
- motion planning
- potential field
- obstacle avoidance
- indoor environments
- autonomous navigation
- dynamic and uncertain environments
- autonomous robots
- model checking
- autonomous vehicles
- optimal path
- multi robot task allocation
- path finding
- software agents
- evolutionary algorithm
- aerial vehicles
- computer vision
- real robot
- image sequences
- genetic algorithm