Lin, S., Grastien, A., & Bercher, P. (2023). Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. Proceedings of the AAAI Conference on Artificial Intelligence, 37(10), 12022-12031. https://doi.org/10.1609/aaai.v37i10.26418