The optimal control of partially observable Markov processes over a finite horizon