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