Uni-Logo

Dissertationen

David Speck
Symbolic Search for Optimal Planning with Expressive Extensions
FreiDok Freiburg, Februar 2022
Download: (FreiDok)
Andreas Hertle
Search Based Planning for Autonomous Robots
FreiDok Freiburg, Mai 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, Juni 2019
Download: (FreiDok)
Johannes Aldinger
Relaxation heuristics for numeric planning
FreiDok Freiburg, Januar 2019
Download: (FreiDok)
Yusra Alkhazraji
Analysis of partial order reduction techniques for automated planning
FreiDok Freiburg, Juli 2018
Download: (FreiDok)
Dali Sun
Adaptive task allocation, localization and motion planning for the multi-robot system
FreiDok Freiburg, Oktober 2017
Download: (FreiDok)
Thomas Keller
Anytime optimal MDP planning with trial-based heuristic tree search
FreiDok Freiburg, Juni 2016
Download: (FreiDok)
Matthias Westphal
Qualitative constraint-based reasoning: methods and applications
FreiDok Freiburg, Juli 2015
Download: (FreiDok)
Christian Dornhege
Task planning for high-level robot control
FreiDok Freiburg, Juli 2015
Download: (FreiDok)
Alexander Schimpf (Betreuer: Jan-Georg Smaus)
Eine vollständig verifizierte, ausführbare Formelübersetzung à la SPIN
FreiDok Freiburg, Mai 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, Juni 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, Oktober 2013
Download: (FreiDok)
Robert Mattmüller
Informed progression search for fully observable nondeterministic planning
FreiDok Freiburg, Januar 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, März 2011
Download: (FreiDok)
Sebastian Kupferschmid
Directed Model Checking for Timed Automata
FreiDok Freiburg, Dezember 2009
Download: (FreiDok)
Marco Ragni
Räumliche Repräsentation, Komplexität und Deduktion: Eine kognitive Komplexitätstheorie
Akademische Verlagsgesellschaft Berlin, März 2008
Alexander Kleiner
Kartierung und Erkundung in Katastrophengebieten durch Mensch und Roboter
FreiDok Freiburg, Februar 2008
Download: (FreiDok)
Malte Helmert
Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition
Springer-Verlag Heidelberg, Januar 2008

Anmerkung: Der Titel der Arbeit wurde für die Veröffentlichung im Springer-Verlag auf Verlagswunsch geändert. Die Arbeit wurde ursprünglich unter dem Titel Solving Planning Tasks in Theory and Practice eingereicht.

Thilo Weigel
Roboter-Fußball: Perzeption, Deliberation und Aktion autonomer Systeme in dynamischen Umgebungen
FreiDok Freiburg, Juni 2006
Download: (FreiDok)
Jörg Hoffmann
Utilizing Problem Structure in Planning: A Local Search Approach
Springer-Verlag Heidelberg, Juli 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, Januar 2002
Jens-Steffen Gutmann
Robuste Navigation autonomer mobiler Systeme
Akademische Verlagsgesellschaft Berlin, Oktober 2000
Download: (PS.GZ)
Hanno Walischewski
Lernen und Interpretieren strukturierter Dokumente - Ein qualitativer Ansatz
FreiDok Freiburg, Februar 2000
Download: (FreiDok)
Stefan Jäger
Recovering Dynamic Information from Static, Handwritten Word Images
Fölbach Koblenz, Juli 1998