On the connections between PCTL and dynamic programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Federico Ramponi' in GoogleThis author has not been identified. Look up 'Debasish Chatterjee' in GoogleThis author has not been identified. Look up 'Sean Summers' in GoogleThis author has not been identified. Look up 'John Lygeros' in Google

runs on WebDSL