Sciweavers

CAV
2010
Springer

Gist: A Solver for Probabilistic Games

13 years 5 months ago
Gist: A Solver for Probabilistic Games
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions for synthesis of unrealizable specifications. Our tool provides the first and efficient implementations of several reduction-based techniques to solve turn-based probabilistic games, and uses the analysis of turn-based probabilistic games for synthesizing environment assumptions for unrealizable specifications.
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar
Added 29 Sep 2010
Updated 29 Sep 2010
Type Conference
Year 2010
Where CAV
Authors Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
Comments (0)