Multi-agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective.

Pavel Surynek

Browse the full KI paper archive.