Uni-Logo

Ph.D. theses

David Speck
Symbolic Search for Optimal Planning with Expressive Extensions
FreiDok Freiburg, February 2022
Download: (FreiDok)
Andreas Hertle
Search Based Planning for Autonomous Robots
FreiDok Freiburg, May 2020
Download: (FreiDok)
Benedict Wright
Workflow generation with planning
FreiDok Freiburg, September 2019
Download: (FreiDok)
Florian Geißer
On planning with state-dependent action costs
FreiDok Freiburg, June 2019
Download: (FreiDok)
Johannes Aldinger
Relaxation heuristics for numeric planning
FreiDok Freiburg, January 2019
Download: (FreiDok)
Yusra Alkhazraji
Analysis of partial order reduction techniques for automated planning
FreiDok Freiburg, July 2018
Download: (FreiDok)
Dali Sun
Adaptive task allocation, localization and motion planning for the multi-robot system
FreiDok Freiburg, October 2017
Download: (FreiDok)
Thomas Keller
Anytime optimal MDP planning with trial-based heuristic tree search
FreiDok Freiburg, June 2016
Download: (FreiDok)
Matthias Westphal
Qualitative constraint-based reasoning: methods and applications
FreiDok Freiburg, July 2015
Download: (FreiDok)
Christian Dornhege
Task planning for high-level robot control
FreiDok Freiburg, July 2015
Download: (FreiDok)
Alexander Schimpf (Betreuer: Jan-Georg Smaus)
Eine vollständig verifizierte, ausführbare Formelübersetzung à la SPIN
FreiDok Freiburg, May 2015
Download: (FreiDok)
Johannes Löhr
Planning in Hybrid Domains: Domain Predictive Control
FreiDok Freiburg, November 2014
Download: (FreiDok)
Gabriele Röger
Planning techniques and the action language GOLOG
FreiDok Freiburg, June 2014
Download: (FreiDok)
Jens Witkowski
Robust peer prediction mechanisms
FreiDok Freiburg, April 2014
Download: (FreiDok)
Patrick Eyerich
Beyond Classical Planning: Temporal and Probabilistic Extensions
FreiDok Freiburg, October 2013
Download: (FreiDok)
Robert Mattmüller
Informed progression search for fully observable nondeterministic planning
FreiDok Freiburg, January 2013
Download: (FreiDok)
Mehmet Giritli
First-order and modal logics for spatial reasoning
FreiDok Freiburg, August 2012
Download: (FreiDok)
Dapeng Zhang
Switching Attention Learning
FreiDok Freiburg, March 2011
Download: (FreiDok)
Sebastian Kupferschmid
Directed Model Checking for Timed Automata
FreiDok Freiburg, December 2009
Download: (FreiDok)
Marco Ragni
Spatial Representation, Complexity and Deduction: A Cognitive Complexity Theory
Akademische Verlagsgesellschaft Berlin, March 2008
Alexander Kleiner
Mapping and Exploration for Search and Rescue with Humans and Mobile Robots
FreiDok Freiburg, February 2008
Download: (FreiDok)
Malte Helmert
Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition
Springer-Verlag Heidelberg, January 2008

Note: The title of the thesis was changed upon publication in the Springer LNAI series. The original title of the thesis was Solving Planning Tasks in Theory and Practice.

Thilo Weigel
Roboter-Fußball: Perzeption, Deliberation und Aktion autonomer Systeme in dynamischen Umgebungen
FreiDok Freiburg, June 2006
Download: (FreiDok)
Jörg Hoffmann
Utilizing Problem Structure in Planning: A Local Search Approach
Springer-Verlag Heidelberg, July 2003
Markus Jäger
Kooperierende Roboter: Gemeinsame Erledigung einer Reinigungsaufgabe
Shaker Verlag Aachen, September 2002
Christoph Dornheim
Einbettung planarer Graphen unter topologischen Constraints: Algorithmen und Komplexität
Shaker Verlag Aachen, September 2002
Jochen Renz
Qualitative Spatial Reasoning with Topological Information
Springer-Verlag Heidelberg, January 2002
Jens-Steffen Gutmann
Robuste Navigation autonomer mobiler Systeme
Akademische Verlagsgesellschaft Berlin, October 2000
Download: (PS.GZ)
Hanno Walischewski
Lernen und Interpretieren strukturierter Dokumente - Ein qualitativer Ansatz
FreiDok Freiburg, February 2000
Download: (FreiDok)
Stefan Jäger
Recovering Dynamic Information from Static, Handwritten Word Images
Fölbach Koblenz, July 1998