Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization.

Autor: Ulusoy, Alphan, Smith, Stephen L., Belta, Calin
Zdroj: Distributed Autonomous Robotic Systems (9783642551451); 2014, p337-351, 15p
Databáze: Complementary Index