Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT).

Pavel Surynek

Browse the full SoCS paper archive.