56 citations · 84 across the 30 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann +1
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…