Offline POMDP solver computing an upper bound of the value function in a discretized belief space. - View it on GitHub