Symbolic Perseus: Point-based value iteration with ADDs. For more details see: http://www.cs.uwaterloo.ca/~ppoupart/software.html