Modeling and Solving the Multi-agent Pathfinding Problem in Picat.

Roman Bartk, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek

Browse the full ICTAI paper archive.