{"oa":1,"publisher":"IST Austria","publication_status":"published","pubrep_id":"29","title":"Gist: A solver for probabilistic games","month":"10","publication_identifier":{"issn":["2664-1690"]},"doi":"10.15479/AT:IST-2009-0003","_id":"5393","has_accepted_license":"1","citation":{"apa":"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>","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.","mla":"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>.","chicago":"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>.","ieee":"K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, <i>Gist: A solver for probabilistic games</i>. IST Austria, 2009.","ista":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.","ama":"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>"},"type":"technical_report","oa_version":"Published Version","abstract":[{"lang":"eng","text":"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."}],"date_created":"2018-12-12T11:39:05Z","status":"public","date_updated":"2023-02-23T12:09:01Z","alternative_title":["IST Austria Technical Report"],"date_published":"2009-10-09T00:00:00Z","day":"09","file":[{"file_size":386866,"date_created":"2018-12-12T11:52:58Z","file_name":"IST-2009-0003_IST-2009-0003.pdf","date_updated":"2020-07-14T12:46:43Z","content_type":"application/pdf","relation":"main_file","file_id":"5459","access_level":"open_access","creator":"system","checksum":"49551ac552915b17593a14c993845274"}],"ddc":["000","005"],"year":"2009","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"last_name":"Jobstmann","first_name":"Barbara","full_name":"Jobstmann, Barbara"},{"first_name":"Arjun","full_name":"Radhakrishna, Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","last_name":"Radhakrishna"}],"language":[{"iso":"eng"}],"file_date_updated":"2020-07-14T12:46:43Z","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"related_material":{"record":[{"relation":"later_version","status":"public","id":"4388"}]},"page":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"}