Measuring and Synthesizing Systems in Probabilistic Environments.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh

Browse the full CAV paper archive.