Distributed motion coordination for multi-robot systems under LTL specifications.
Pian YuDimos V. DimarogonasPublished in: CoRR (2021)
Keyphrases
- multi robot systems
- multiple robots
- multi agent
- multi robot
- path planning
- bounded model checking
- mobile robot
- cooperative
- autonomous robots
- distributed agents
- motion planning
- multi robot task allocation
- motion model
- motion estimation
- transition systems
- autonomous navigation
- model checking
- camera motion
- temporal logic
- motion detection
- optical flow
- moving objects
- ant colony
- collision avoidance
- collision free
- human motion
- multi agent systems
- image sequences
- formal verification
- moving camera
- computer vision
- software agents
- particle filter