Erdem, E.; Kisa, D.; Oztok, U.; Schüller, P. A General Formal Framework for Pathfinding Problems With Multiple Agents. AAAI 2013, 27, 290-296.