Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding (Extended Abstract).

Pavel Surynek

Browse the full SoCS paper archive.