Return to Article Details Ghost Agents in SAT-based Models for Multi-Agent Pathfinding (Extended Abstract) Download Download PDF