Multi-robot Planning: a Timed Automata Approach. - Michael Melholt Quottrup; Thomas Bak; Roozbeh Izadi-Zamanabadi (ICRA, 2004)

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 (Sci. China Inf. Sci., 2012)