Login
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Abdulaziz, Mohammad; Koller, Lukas
- Title:
- Formal Semantics and Formally Verified Validation for Temporal Planning
- Journal title:
- Proceedings of the AAAI Conference on Artificial Intelligence
- Year:
- 2022
- Journal volume:
- 36
- Journal issue:
- 9
- Pages contribution:
- 9635-9643
- Fulltext / DOI:
- doi:10.1609/aaai.v36i9.21197
- Publisher:
- Association for the Advancement of Artificial Intelligence (AAAI)
- E-ISSN:
- 2374-34682159-5399
- Date of publication:
- 28.06.2022
BibTeX