Gregor Behnke wurde am 02.12.2019 mit Auszeichnung zum Dr. rer.-nat. promoviert. Seine Dissertation trägt den Titel "Hierarchical Planning through Propositional Logic: Highly Efficient, Versatile, and Flexible".

Weitere Details und die Dissertation selbst sind hier zu finden.