Measuring and Synthesizing Systems in Probabilistic Environments. - CHATTERJEE, KRISHNENDU; HENZINGER, THOMAS A.; JOBSTMANN, BARBARA; SINGH, ROHIT (Journal of the ACM, 2015)