References

• [Eri19] Salomé Eriksson. Certifying planning systems : witnesses for unsolvability. PhD thesis, University of Basel, 2019. doi:10.5451/unibas-007176138. [1] [2]
• [ERH17] Salomé Eriksson, Gabriele Röger, Malte Helmert. Unsolvability Certificates for Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 27(1):88-97, Jun 2017. doi:10.1609/icaps.v27i1.13818. [1] [2]
• [ERH18] Salomé Eriksson, Gabriele Röger, Malte Helmert. A Proof System for Unsolvable Planning Tasks. Proceedings of the International Conference on Automated Planning and Scheduling, 28(1):65-73, Jun 2018. doi:10.1609/icaps.v28i1.13899.