[{"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Barbara","last_name":"Jobstmann"},{"last_name":"Radhakrishna","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","dini_type":"doc-type:other","citation":{"ista":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.","apa":"Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.","ieee":"K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.","mla":"Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003."},"oa":1,"date_published":"2009-10-09T00:00:00Z","date_created":"2018-12-12T11:39:05Z","page":"12","uri_base":"https://research-explorer.ista.ac.at","day":"09","dc":{"description":["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."],"identifier":["https://research-explorer.ista.ac.at/record/5393","https://research-explorer.ista.ac.at/download/5393/5459"],"source":["Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.15479/AT:IST-2009-0003","info:eu-repo/semantics/altIdentifier/issn/2664-1690"],"type":["info:eu-repo/semantics/other","doc-type:other","text","http://purl.org/coar/resource_type/c_1843"],"publisher":["IST Austria"],"date":["2009"],"subject":["ddc:000","ddc:005"],"rights":["info:eu-repo/semantics/openAccess"],"language":["eng"],"creator":["Chatterjee, Krishnendu","Henzinger, Thomas A","Jobstmann, Barbara","Radhakrishna, Arjun"],"title":["Gist: A solver for probabilistic games","IST Austria Technical Report"]},"has_accepted_license":"1","status":"public","pubrep_id":"29","type":"technical_report","_id":"5393","department":[{"_id":"KrCh","tree":[{"_id":"ResearchGroups"},{"_id":"IST"}]},{"tree":[{"_id":"ResearchGroups"},{"_id":"IST"}],"_id":"ToHe"}],"file_date_updated":"2020-07-14T12:46:43Z","creator":{"login":"dernst","id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},"ddc":[],"date_updated":"2023-02-23T12:09:01Z","month":"10","alternative_title":[],"oa_version":"Published Version","abstract":[{"lang":"eng"}],"related_material":{"record":[{"id":"4388","status":"public","relation":"later_version"}]},"file":[{"file_name":"IST-2009-0003_IST-2009-0003.pdf","date_created":"2018-12-12T11:52:58Z","file_size":386866,"date_updated":"2020-07-14T12:46:43Z","creator":"system","checksum":"49551ac552915b17593a14c993845274","file_id":"5459","content_type":"application/pdf","relation":"main_file","access_level":"open_access"}],"language":[{}],"publication_identifier":{"issn":[]},"publication_status":"published"}]