Pavel Surynek. Continuous Multi-agent Path Finding via Satisfiability Modulo Theories (SMT). In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Agents and Artificial Intelligence, 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers. Volume 12613 of Lecture Notes in Computer Science, pages 399-420, Springer, 2020. [doi]
Abstract is missing.