On the connections between PCTL and dynamic programming (2010)

by F Ramponi, D Chatterjee, S Summers, J Lygeros
Venue:In Proceedings of the 13th ACM international conference on Hybrid Systems: Computation and Control