Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems
This paper describes a holistic method for automatically synthesizing controllers for a team of robots operating in an environment shared with other agents. The proposed approach builds on recent advances in Reactive Mission Planning using Linear Temporal Logic, and Local Motion Planning using conve...
Main Authors: | DeCastro, Jonathan A., Alonso-Mora, Javier, Raman, Vasumathi, Rus, Daniela, Kress-Gazit, Hadas |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | English |
Published: |
Springer International Publishing
2021
|
Online Access: | https://hdl.handle.net/1721.1/137218 |
Similar Items
-
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles
by: Alonso-Mora, Javier, et al.
Published: (2018) -
Synthesis for robots: guarantees and feedback for robot behavior
by: Kress-Gazit, H, et al.
Published: (2018) -
Compositional and Contract-based Verification for Autonomous Driving on Road Networks
by: DeCastro, Jonathan, et al.
Published: (2018) -
Collision-Free Motion Planning of a Six-Link Manipulator Used in a Citrus Picking Robot
by: Zuoliang Tang, et al.
Published: (2021-11-01) -
Real-Time Motion Planning for Aerial Videography With Dynamic Obstacle Avoidance and Viewpoint Optimization
by: Nageli, Tobias, et al.
Published: (2021)