DoS-Resilient Multi-Robot Temporal Logic Motion Planning.
Xiaowu SunRohitkrishna NambiarMatthew MelhornYasser ShoukryPierluigi NuzzoPublished in: ICRA (2019)
Keyphrases
- temporal logic
- multi robot
- motion planning
- path planning
- model checking
- mobile robot
- trajectory planning
- multi robot systems
- search and rescue
- multi robot exploration
- robot soccer
- belief revision
- obstacle avoidance
- potential field
- multiple robots
- linear temporal logic
- robotic systems
- climbing robot
- belief space
- collision free
- multi robot coordination
- verification method
- machine learning
- multi robot cooperative
- computation tree logic
- path finding
- dynamic environments
- video sequences