[{"publication_status":"published","project":[{"name":"COMponent-Based Embedded Systems design Techniques","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","grant_number":"215543","call_identifier":"FP7"}],"abstract":[{"text":"A stochastic game is a two-player game played oil a graph, where in each state the successor is chosen either by One of the players, or according to a probability distribution. We Survey Stochastic games with limsup and liminf objectives. A real-valued re-ward is assigned to each state, and the value of all infinite path is the limsup (resp. liminf) of all rewards along the path. The value of a stochastic game is the maximal expected value of an infinite path that call he achieved by resolving the decisions of the first player. We present the complexity of computing values of Stochastic games and their subclasses, and the complexity, of optimal strategies in such games. ","lang":"eng"}],"scopus_import":1,"file_date_updated":"2020-07-14T12:46:31Z","type":"conference","citation":{"short":"K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.","ista":"Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.","ama":"Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:<a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">10.1007/978-3-642-02930-1_1</a>","chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">https://doi.org/10.1007/978-3-642-02930-1_1</a>.","apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. <a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">https://doi.org/10.1007/978-3-642-02930-1_1</a>","mla":"Chatterjee, Krishnendu, et al. <i>A Survey of Stochastic Games with Limsup and Liminf Objectives</i>. Vol. 5556, Springer, 2009, pp. 1–15, doi:<a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">10.1007/978-3-642-02930-1_1</a>."},"quality_controlled":"1","_id":"4545","publist_id":"177","department":[{"_id":"KrCh"}],"pubrep_id":"38","language":[{"iso":"eng"}],"publisher":"Springer","has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"title":"A survey of stochastic games with limsup and liminf objectives","file":[{"date_updated":"2020-07-14T12:46:31Z","date_created":"2018-12-12T10:13:11Z","file_name":"IST-2012-38-v1+1_A_survey_of_stochastic_games_with_limsup_and_liminf_objectives.pdf","access_level":"open_access","relation":"main_file","checksum":"dabb6d24428a000254c95493d9c492e6","file_id":"4992","content_type":"application/pdf","creator":"system","file_size":187419}],"doi":"10.1007/978-3-642-02930-1_1","oa_version":"Submitted Version","ec_funded":1,"volume":5556,"status":"public","day":"24","date_created":"2018-12-11T12:09:24Z","ddc":["000","005"],"conference":{"location":"Rhodos, Greece","start_date":"2009-07-05","end_date":"2009-07-12","name":"ICALP: Automata, Languages and Programming"},"page":"1 - 15","year":"2009","acknowledgement":"This research was supported in part by the Swiss National Science Foundation under the Indo-Swiss Joint Research Programme, by the European Network of Excellence on Embedded Systems Design (ArtistDesign), by the European projects COMBEST, Quasimodo, Gasics, by the PAI program Moves funded by the Belgian Federal Government, and by the CFV (Federated Center in Verification) funded by the F.R.S.-FNRS.","date_published":"2009-06-24T00:00:00Z","alternative_title":["LNCS"],"intvolume":"      5556","month":"06","oa":1,"date_updated":"2021-01-12T07:59:35Z"},{"year":"2008","language":[{"iso":"eng"}],"publist_id":"7302","department":[{"_id":"NiBa"}],"article_processing_charge":"No","page":"475 - 477","issue":"5-6","author":[{"full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin","date_updated":"2024-02-14T09:51:09Z","publisher":"Cambridge University Press","month":"10","intvolume":"        89","date_published":"2008-10-29T00:00:00Z","oa_version":"None","publication_status":"published","doi":"10.1017/S0016672308009683","publication":"Genetics Research","quality_controlled":"1","status":"public","day":"29","_id":"517","date_created":"2018-12-11T11:46:55Z","type":"journal_article","scopus_import":"1","citation":{"apa":"Barton, N. H. (2008). Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. <i>Genetics Research</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S0016672308009683\">https://doi.org/10.1017/S0016672308009683</a>","mla":"Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.” <i>Genetics Research</i>, vol. 89, no. 5–6, Cambridge University Press, 2008, pp. 475–77, doi:<a href=\"https://doi.org/10.1017/S0016672308009683\">10.1017/S0016672308009683</a>.","ieee":"N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” <i>Genetics Research</i>, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.","ista":"Barton NH. 2008. Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin. Genetics Research. 89(5–6), 475–477.","short":"N.H. Barton, Genetics Research 89 (2008) 475–477.","ama":"Barton NH. Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. <i>Genetics Research</i>. 2008;89(5-6):475-477. doi:<a href=\"https://doi.org/10.1017/S0016672308009683\">10.1017/S0016672308009683</a>","chicago":"Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.” <i>Genetics Research</i>. Cambridge University Press, 2008. <a href=\"https://doi.org/10.1017/S0016672308009683\">https://doi.org/10.1017/S0016672308009683</a>."},"volume":89}]