thesis published Krishnendu Chatterjee author 2E5DCA20-F248-11E8-B48F-1D18A9856A870000-0002-4561-241X Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000−0002−2985−7724 Barbara Jobstmann author Arjun Radhakrishna author 3B51CAC4-F248-11E8-B48F-1D18A9856A87 KrCh department ToHe department 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 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. https://research-explorer.ista.ac.at/download/5393/5459/IST-2009-0003_IST-2009-0003.pdf application/pdfno IST Austria2009 eng 2664-169010.15479/AT:IST-2009-0003 12 https://research-explorer.ista.ac.at/record/4388 K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009. Chatterjee, K., Henzinger, T. A., Jobstmann, B., &#38; Radhakrishna, A. (2009). <i>Gist: A solver for probabilistic games</i>. IST Austria. <a href="https://doi.org/10.15479/AT:IST-2009-0003">https://doi.org/10.15479/AT:IST-2009-0003</a> Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria; 2009. doi:<a href="https://doi.org/10.15479/AT:IST-2009-0003">10.15479/AT:IST-2009-0003</a> K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, <i>Gist: A solver for probabilistic games</i>. IST Austria, 2009. Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p. Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria, 2009. <a href="https://doi.org/10.15479/AT:IST-2009-0003">https://doi.org/10.15479/AT:IST-2009-0003</a>. Chatterjee, Krishnendu, et al. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria, 2009, doi:<a href="https://doi.org/10.15479/AT:IST-2009-0003">10.15479/AT:IST-2009-0003</a>. 53932018-12-12T11:39:05Z2025-04-14T13:37:27Z