{"day":"15","page":"32 - 45","publisher":"Springer","publist_id":"2884","publication_status":"published","citation":{"ama":"Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives. In: Vol 5489. Springer; 2009:32-45. doi:<a href=\"https://doi.org/10.1007/978-3-642-03092-5_4\">10.1007/978-3-642-03092-5_4</a>","short":"K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.","mla":"Chatterjee, Krishnendu, and Thomas A. Henzinger. <i>Probabilistic Systems with Limsup and Liminf Objectives</i>. Vol. 5489, Springer, 2009, pp. 32–45, doi:<a href=\"https://doi.org/10.1007/978-3-642-03092-5_4\">10.1007/978-3-642-03092-5_4</a>.","ista":"Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489, 32–45.","apa":"Chatterjee, K., &#38; Henzinger, T. A. (2009). Probabilistic systems with limsup and liminf objectives (Vol. 5489, pp. 32–45). Presented at the ILC: Infinity in Logic and Computation, Springer. <a href=\"https://doi.org/10.1007/978-3-642-03092-5_4\">https://doi.org/10.1007/978-3-642-03092-5_4</a>","ieee":"K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.","chicago":"Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,” 5489:32–45. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-03092-5_4\">https://doi.org/10.1007/978-3-642-03092-5_4</a>."},"extern":1,"intvolume":"      5489","main_file_link":[{"url":"http://arxiv.org/abs/0809.1465","open_access":"1"}],"volume":5489,"month":"12","alternative_title":["LNCS"],"date_published":"2009-12-15T00:00:00Z","title":"Probabilistic systems with limsup and liminf objectives","year":"2009","abstract":[{"text":"We give polynomial-time algorithms for computing the values of Markov decision processes (MDPs) with limsup and liminf objectives. A real-valued reward is assigned to each state, and the value of an infinite path in the MDP is the limsup (resp. liminf) of all rewards along the path. The value of an MDP is the maximal expected value of an infinite path that can be achieved by resolving the decisions of the MDP. Using our result on MDPs, we show that turn-based stochastic games with limsup and liminf objectives can be solved in NP ∩ coNP. ","lang":"eng"}],"_id":"3503","oa":1,"status":"public","quality_controlled":0,"type":"conference","conference":{"name":"ILC: Infinity in Logic and Computation"},"date_created":"2018-12-11T12:03:40Z","author":[{"last_name":"Chatterjee","full_name":"Krishnendu Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.1007/978-3-642-03092-5_4","date_updated":"2021-01-12T07:43:54Z"}