Uni-Logo

Dr. Robert Mattmüller

Dr. Robert Mattmüller
Adresse:
Institut für Informatik
Albert-Ludwigs-Universität Freiburg
Georges-Köhler-Allee 52
79110 Freiburg, Germany
Büro:
Gebäude 052, Raum 00-042
Email:
mattmuel@informatik.uni-freiburg.de
Telefon:
+49 761 203-8229
Fax:
+49 761 203-8222
Sprechstunde:
nach Vereinbarung (E-Mail)

Über mich

Im März 2006 erhielt Robert Mattmüller ein Diplom in Informatik von der Albert-Ludwigs-Universität Freiburg.

Seit April 2006 ist er wissenschaftlicher Mitarbeiter in der von Prof. Dr. Bernhard Nebel geleiteten Arbeitsgruppe Grundlagen der Künstlichen Intelligenz an der Universität Freiburg. Er ist Mitglied des transregionalen Sonderforschungsbereichs SFB/TR14 AVACS. Zu seinen Forschungsinteressen gehören Handlungsplanung sowie heuristische Methoden in der automatischen Verifikation.

Der myND-Planer

Der myND-Planer ist ein nichtdeterministisches Planungssystem zur Lösung von vollständig oder partiell beobachtbaren Planungsproblemen (FOND- bzw. POND-Tasks). Weitere Informationen sowie der Planer selbst finden sich bei Bitbucket.

Temporal Fast Downward

Temporal Fast Downward ist ein temporales Planungssystem, welches mit Erfolg am temporalen Track des sechsten Internationalen Planungswettbewerbs 2008 teilgenommen hat. Temporal Fast Downward basiert auf dem Fast-Downward-Planer von Malte Helmert und Silvia Richter und wurde hauptsächlich von Gabriele Röger, Patrick Eyerich und mir entwickelt. Weitere Informationen sowie den Planer selbst finden Sie auf der Temporal-Fast-Downward-Homepage.

Sonstiges

Öffentlicher PGP/GPG-Schlüssel

Wenn Sie mir eine verschlüsselte Email senden wollen, so verwenden Sie bitte meinen öffentlichen PGP/GPG-Schlüssel (gültig bis 2017-01-23).