{"quality_controlled":"1","pubrep_id":"43","publist_id":"1068","language":[{"iso":"eng"}],"intvolume":"      6174","related_material":{"record":[{"status":"public","id":"5393","relation":"earlier_version"}]},"oa":1,"file":[{"file_name":"IST-2012-43-v1+1_GIST-_A_solver_for_probabilistic_games.pdf","access_level":"open_access","relation":"main_file","file_id":"5221","checksum":"0b2ef8c4037ffccc6902d93081af24f7","date_created":"2018-12-12T10:16:33Z","content_type":"application/pdf","creator":"system","file_size":293605,"date_updated":"2020-07-14T12:46:28Z"}],"page":"665 - 669","file_date_updated":"2020-07-14T12:46:28Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","publication_status":"published","date_published":"2010-07-01T00:00:00Z","conference":{"location":"Edinburgh, UK","end_date":"2010-07-17","start_date":"2010-07-15","name":"CAV: Computer Aided Verification"},"volume":6174,"alternative_title":["LNCS"],"_id":"4388","doi":"10.1007/978-3-642-14295-6_57","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"full_name":"Jobstmann, Barbara","last_name":"Jobstmann","first_name":"Barbara"},{"first_name":"Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","last_name":"Radhakrishna","full_name":"Radhakrishna, Arjun"}],"project":[{"_id":"25EFB36C-B435-11E9-9278-68D0E5697425","name":"COMponent-Based Embedded Systems design Techniques","grant_number":"215543","call_identifier":"FP7"},{"call_identifier":"FP7","grant_number":"214373","name":"Design for Embedded Systems","_id":"25F1337C-B435-11E9-9278-68D0E5697425"}],"external_id":{"arxiv":["1004.2367"]},"publisher":"Springer","year":"2010","ddc":["004"],"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 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."}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"oa_version":"Submitted Version","status":"public","ec_funded":1,"has_accepted_license":"1","date_created":"2018-12-11T12:08:36Z","type":"conference","citation":{"mla":"Chatterjee, Krishnendu, et al. <i>GIST: A Solver for Probabilistic Games</i>. Vol. 6174, Springer, 2010, pp. 665–69, doi:<a href=\"https://doi.org/10.1007/978-3-642-14295-6_57\">10.1007/978-3-642-14295-6_57</a>.","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.","ista":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.","ama":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. GIST: A solver for probabilistic games. In: Vol 6174. Springer; 2010:665-669. doi:<a href=\"https://doi.org/10.1007/978-3-642-14295-6_57\">10.1007/978-3-642-14295-6_57</a>","ieee":"K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.","apa":"Chatterjee, K., Henzinger, T. A., Jobstmann, B., &#38; Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. <a href=\"https://doi.org/10.1007/978-3-642-14295-6_57\">https://doi.org/10.1007/978-3-642-14295-6_57</a>","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-14295-6_57\">https://doi.org/10.1007/978-3-642-14295-6_57</a>."},"title":"GIST: A solver for probabilistic games","date_updated":"2023-02-23T12:24:17Z","month":"07","scopus_import":1,"article_processing_charge":"No"}