Optimality Certificates for Classical Planning. - Esther Mugdan; Remo Christen; Salomé Eriksson (ICAPS, 2023)