Friedrich Kurz

2020

Verified SAT-Based AI Planning
by Mohammad Abdulaziz and Friedrich Kurz

29 Oct

2018

Upper Bounding Diameters of State Spaces of Factored Transition Systems
by Friedrich Kurz and Mohammad Abdulaziz

12 Oct