Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement. - Jendrik Seipp; Samuel von Allmen; Malte Helmert (ICAPS, 2020)