Dr. Robert Mattmüller
I have left the research group for Foundations of Artificial Intelligence!
About me
Robert Mattmüller received a diploma in computer science (Diplom-Informatiker) from the University of Freiburg in March 2006.
Since April 2006 he has been working in the Research Group on the Foundations of Artificial Intelligence headed by Prof. Dr. Bernhard Nebel. He is a member of the Transregional Collaborative Research Center AVACS. His research interests include AI Planning as well as heuristic methods in automatic verification.
The myND Planner
The myND planner is a nondeterministic planning system that can be used to solve fully or partially observable nondeterministic planning tasks (FOND or POND tasks). Further information and the planner itself can be obtained from Bitbucket.
Temporal Fast Downward
Temporal Fast Downward is a temporal planning system that successfully participated in the temporal satisficing track of the 6th International Planning Competition 2008. Based on the Fast Downward planning system by Malte Helmert and Silvia Richter, Temporal Fast Downward was mainly developed by Gabriele Röger, Patrick Eyerich and me. Further information and the planner itself can be obtained from the Temporal Fast Downward homepage.
Miscellaneous
Public PGP/GPG key
If you want to send me an encrypted email please use my public PGP/GPG key (valid until 2017-01-23).