Measuring and Synthesizing Systems in Probabilistic Environments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh. Measuring and Synthesizing Systems in Probabilistic Environments. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 380-395, Springer, 2010. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Barbara Jobstmann' in GoogleThis author has not been identified. Look up 'Rohit Singh' in Google

runs on WebDSL