Welcome to the (quite preliminary version of the) website of the probabilistic planning system PROST. Development was started sometime around December 2010 by Patrick Eyerich and Thomas Keller. The PROST planner participated at IPPC 2011 and won the competition.
An overview on the algorithms used in the IPPC 2011 configuration is described in the ICAPS 2012 paper . PROST is based on the UCT algorithm, which is initialized with a iterative deepening search on a most-likely determinized simplification of the original task. The used input language is RDDL.
In case you have any questions, feel free to write an email to Thomas Keller. If you encounter a bug, please check the list of known issues if it is already known and let us know via email if it is not.