TY  - RPRT
TI  - Verification and Control of Partially Observable Probabilistic Real-Time Systems
AU  - Gethin Norman
AU  - David Parker
AU  - Xueyi Zou
PY  - 2015
UR  - https://arxiv.org/abs/1506.06419
ID  - 1506.06419
ER  -