Upper-bound technique that incorporates the observation model to tighten the bound beyond QMDP.
Stanford Online