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