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

Open in new window