Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros. On the connections between PCTL and dynamic programming. In Karl Henrik Johansson, Wang Yi, editors, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. pages 253-262, ACM, 2010. [doi]
Abstract is missing.