Dr. Thomas Keller
I have left the research group for Foundations of Artificial Intelligence!
Further information can be found on my new webpage.
PROST
PROST is a probabilistic planning system which won the International Probabilistic Planning Competitions 2011 (IPPC 2011) and 2014 (IPPC 2014). The planner was developed in collaboration with Patrick Eyerich. Development still continues, and since 2014, Florian Geißer has joined the development team. For further information and the source code, please visit the PROST web page.