Schwartz, T., & Wolter, D. (2026). HTN Plan Verification by Qualitative Temporal Reasoning. Proceedings of the AAAI Conference on Artificial Intelligence, 40(43), 36378–36385. https://doi.org/10.1609/aaai.v40i43.40958