Media type: Doctoral Thesis; Electronic Thesis; E-Book Title: Formal Verification for ALICA Plans Contributor: Nguyen Van, Thao [Author] Published: University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv), 2021 Issue: published Version Language: English DOI: https://doi.org/10.17170/kobra-202111125069 Keywords: swd:Verifikation ; swd:Planung ; swd:Mehragentensystem ; swd:Autonomer Roboter ; swd:Fehlererkennung ; swd:Übersetzer ; swd:Mensch-Maschine-Kommunikation Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: Attribution - Non Commercial - No Derivs (CC BY-NC-ND)