  We present the theoretical analysis and proofs of a recently developed
algorithm that allows for optimal planning over long and infinite horizons for
achieving multiple independent tasks that are partially observable and evolve
over time.
