Seipp, Jendrik, and Malte Helmert. 2013. “Counterexample-Guided Cartesian Abstraction Refinement”. Proceedings of the International Conference on Automated Planning and Scheduling 23 (1):347-51. https://doi.org/10.1609/icaps.v23i1.13605.