Seipp J, von Allmen S, Helmert M. Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement. ICAPS [Internet]. 2020Jun.1 [cited 2024Jul.22];30(1):244-8. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/6667