Pavel Surynek. Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding. In 35th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2023, Atlanta, GA, USA, November 6-8, 2023. pages 333-340, IEEE, 2023. [doi]
Abstract is missing.