Gist: A Solver for Probabilistic Games.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna

Browse the full CAV paper archive.