On the connections between PCTL and Dynamic Programming - Federico Ramponi; Debasish Chatterjee; Sean Summers; John Lygeros (Commun. ACM, 2009)