Distributed Motion Coordination for Multirobot Systems Under LTL Specifications.
Pian YuDimos V. DimarogonasPublished in: IEEE Trans. Robotics (2022)
Keyphrases
- multi robot
- distributed systems
- multi robot coordination
- image sequences
- multi agent
- cooperative
- motion estimation
- motion model
- path planning
- optical flow
- open systems
- multiple robots
- distributed agents
- peer to peer
- temporal logic
- motion planning
- mobile robot
- model checking
- distributed architecture
- linear temporal logic
- bounded model checking