Symbolic Verification of GOLOG Programs with First-Order BDDs

(2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

16th International Conference on Principles of Knowledge Representation and Reasoning
Seite(n): 524-528

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Claßen, Jens

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-10386