Java implementation of Symbolic HSVI
This version is the KAIST-AILAB entry for the ICAPS 2011 International Probabilistic Planning Competition (IPPC).
The current version fixes a number of bugs in the previous implementation and features new techniques such as factored symmetry exploitation (extending [Kim 2008]) & factored alpha vector masking (extending [Smith & Simmons 2005]).
Requires eclipse for easy compilation and running (import the zip file as an eclipse project archive).
Download the zipped code here and take a look at the README file inside.