Seipp, J., S. von Allmen, and M. Helmert. “ Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 30, no. 1, June 2020, pp. 244-8, doi:10.1609/icaps.v30i1.6667.