Dr. Robert Mattmüller
Ich habe die Arbeitsgruppe für Grundlagen der Künstlichen Intelligenz verlassen!
Ü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).