A framework for multi-robot motion planning from temporal logic specifications

T. John Koo, Rongqing Li, Michael Melholt Quottrup, Charles A. Clifton, Roozbeh Izadi-Zamanabadi, Thomas Bak. A framework for multi-robot motion planning from temporal logic specifications. Science in China Series F: Information Sciences, 55(7):1675-1692, 2012. [doi]

Abstract

Abstract is missing.