Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. - Alexander Rovner; Silvan Sievers; Malte Helmert (ICAPS, 2019)

On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond. - Malte Helmert; Silvan Sievers; Alexander Rovner; Augusto B. Corrêa (ICAPS, 2022)