@Article{NPZ17,
author={G. Norman and D. Parker and X. Zou},
title={Verification and Control of Partially Observable Probabilistic Systems},
journal={Real-Time Systems},
year={2017},

volume={53},
number={3},
pages={354-402},
publisher={Springer},
month={},
note={},
key={}
}