(1)
Seipp, J.; von Allmen, S.; Helmert, M. Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement. ICAPS 2020, 30, 244-248.