Symbolic verification of golog programs with first-order bdds

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

CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018 / edited by Gerald Steinbauer (Institute for Software Technology, Technical University of Graz, Graz, Austria), Alexander Ferrein (Mobile Autonomous Systems and Cognitive Robotics Institute, FH Aachen University of Applied Sciences, Aachen, Germany)
Page(s): 524-528

Authors

Authors

Claßen, Jens

Identifier

  • REPORT NUMBER: RWTH-2019-10386