Formal and scalable multi-robot coordination methods for long horizon tasks with time uncertainty – Institute For Systems and Robotics

Journal Papers

Formal and scalable multi-robot coordination methods for long horizon tasks with time uncertainty

Pedro Lima | Carlos Azevedo | Bruno Lacerda | Nick Hawes

DOI:

https://doi.org/10.1016/j.robot.2025.105103

Intelligent Robots and Systems Group (IRSg)

Robotics and Autonomous Systems, Volume 193, 2025, 105103, ISSN 0921-8890

November, 2025