GIST

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.


References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Eisentraut, Julia; Kelmendi, Edon; Křetínský, Jan; Weininger, Maximilian: Value iteration for simple stochastic games: stopping criterion and learning algorithm (2022)
  2. Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel: Automatic verification of concurrent stochastic systems (2021)
  3. Křetínský, Jan; Ramneantu, Emanuel; Slivinskiy, Alexander; Weininger, Maximilian: Comparison of algorithms for simple stochastic games (2020)
  4. Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun: Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games (2017)
  5. Svoreňová, Mária; Kwiatkowska, Marta: Quantitative verification and strategy synthesis for stochastic games (2016)
  6. Keiren, Jeroen J. A.: Benchmarks for parity games (2015) ioport
  7. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: Automatic verification of competitive stochastic systems (2013)
  8. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: PRISM-games: a model checker for stochastic multi-player games (2013)
  9. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: Automatic verification of competitive stochastic systems (2012)
  10. Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Radhakrishna, Arjun: GIST: A solver for probabilistic games (2010) ioport
  11. Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Radhakrishna, Arjun: \textscGist: a solver for probabilistic games (2010) ioport