TY  - RPRT
TI  - On the connections between PCTL and Dynamic Programming
AU  - Federico Ramponi
AU  - Debasish Chatterjee
AU  - Sean Summers
AU  - John Lygeros
PY  - 2009
DO  - 10.1145/1755952.1755988
UR  - https://arxiv.org/abs/0910.4738
ID  - 0910.4738
ER  -