Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding.

Pavel Surynek

Browse the full ICTAI paper archive.