Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Goal Multi-Robot Path Planning.

Pavel Surynek

Browse the full IROS paper archive.