[1]
J. Seipp, S. von Allmen, and M. Helmert, “ Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement”, ICAPS, vol. 30, no. 1, pp. 244-248, Jun. 2020.