TY  - RPRT
TI  - Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding
AU  - Pavel Surynek
PY  - 2023
UR  - https://arxiv.org/abs/2301.08687
ID  - 2301.08687
ER  -