- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Abdulaziz, Mohammad; Koller, Lukas
- Titel:
- Formal Semantics and Formally Verified Validation for Temporal Planning
- Zeitschriftentitel:
- Proceedings of the AAAI Conference on Artificial Intelligence
- Jahr:
- 2022
- Band / Volume:
- 36
- Heft / Issue:
- 9
- Seitenangaben Beitrag:
- 9635-9643
- Volltext / DOI:
- doi:10.1609/aaai.v36i9.21197
- Verlag / Institution:
- Association for the Advancement of Artificial Intelligence (AAAI)
- E-ISSN:
- 2374-34682159-5399
- Publikationsdatum:
- 28.06.2022
BibTeX