Symbolic verification of golog programs with first-order bdds

Claßen, Jens

doi:WOS:000492398600057

Symbolic verification of golog programs with first-order bdds

In
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), Seiten/Artikel-Nr: 524-528

2018

Konferenz/Event:16. International Conference on Principles of Knowledge Representation and Reasoning , Tempe, AZ , USA , KR- 2018 , 2018-10-30 - 2018-11-02

Konferenz/Event:11. Cognitive Robotics Workshop , Tempe, AZ , USA , CogRob 2018 , 2018-10-30 - 2018-11-02

Umfang524-528

ISBN9781577358039