Symbolic Verification of GOLOG Programs with First-Order BDDs

(2018) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Selected Authors

Claßen, Jens

Identifier

  • REPORT NUMBER: RWTH-2019-10386