Abdulaziz and Koller. "Formal Semantics and Formally Verified Validation for Temporal Planning." AAAI Conference on Artificial Intelligence, 2022. doi:10.1609/AAAI.V36I9.21197
Markdown
[Abdulaziz and Koller. "Formal Semantics and Formally Verified Validation for Temporal Planning." AAAI Conference on Artificial Intelligence, 2022.](https://mlanthology.org/aaai/2022/abdulaziz2022aaai-formal/) doi:10.1609/AAAI.V36I9.21197
BibTeX
@inproceedings{abdulaziz2022aaai-formal,
title = {{Formal Semantics and Formally Verified Validation for Temporal Planning}},
author = {Abdulaziz, Mohammad and Koller, Lukas},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2022},
pages = {9635-9643},
doi = {10.1609/AAAI.V36I9.21197},
url = {https://mlanthology.org/aaai/2022/abdulaziz2022aaai-formal/}
}