Our paper Cartesian Abstraction Refinement for Simple Numeric Planning got accepted at ICAPS 2026.