Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding | IEEE Conference Publication | IEEE Xplore