Extension to POMDPs.jl for solvers that use lower and upper bounds on the value function - View it on GitHub