Abdulaziz, M., & Koller, L. (2022). Formal Semantics and Formally Verified Validation for Temporal Planning. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), 9635-9643. https://doi.org/10.1609/aaai.v36i9.21197