When CEGAR Meets Regression: A Love Story in Optimal Classical Planning. - Martín Pozo; Álvaro Torralba; Carlos Linares López (AAAI, 2024)

Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning. - Martín Pozo; Álvaro Torralba; Carlos Linares López (ECAI, 2024)