Benutzer: Gast  Login
Titel:

Formal Semantics and Formally Verified Validation for Temporal Planning

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Abdulaziz, Mohammad; Koller, Lukas
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