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