Untersuchung der rekursiven Lösbarkeit einer dezentralen Multi-Roboter-Trajektorienplanung