{"publist_id":"3400","file_date_updated":"2020-07-14T12:46:05Z","date_published":"2012-01-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"}],"language":[{"iso":"eng"}],"quality_controlled":"1","oa":1,"publisher":"Springer","publication_status":"published","department":[{"_id":"KrCh"}],"date_updated":"2021-01-12T07:42:10Z","article_processing_charge":"No","type":"conference","page":"37 - 46","alternative_title":["LNCS"],"year":"2012","citation":{"chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives,” 7119:37–46. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-25929-6_3\">https://doi.org/10.1007/978-3-642-25929-6_3</a>.","ista":"Chatterjee K, Doyen L. 2012. Games and Markov decision processes with mean payoff parity and energy parity objectives. MEMICS: Mathematical and Engineering Methods in Computer Science, LNCS, vol. 7119, 37–46.","short":"K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.","ama":"Chatterjee K, Doyen L. Games and Markov decision processes with mean payoff parity and energy parity objectives. In: Vol 7119. Springer; 2012:37-46. doi:<a href=\"https://doi.org/10.1007/978-3-642-25929-6_3\">10.1007/978-3-642-25929-6_3</a>","ieee":"K. Chatterjee and L. Doyen, “Games and Markov decision processes with mean payoff parity and energy parity objectives,” presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic, 2012, vol. 7119, pp. 37–46.","apa":"Chatterjee, K., &#38; Doyen, L. (2012). Games and Markov decision processes with mean payoff parity and energy parity objectives (Vol. 7119, pp. 37–46). Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic: Springer. <a href=\"https://doi.org/10.1007/978-3-642-25929-6_3\">https://doi.org/10.1007/978-3-642-25929-6_3</a>","mla":"Chatterjee, Krishnendu, and Laurent Doyen. <i>Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives</i>. Vol. 7119, Springer, 2012, pp. 37–46, doi:<a href=\"https://doi.org/10.1007/978-3-642-25929-6_3\">10.1007/978-3-642-25929-6_3</a>."},"file":[{"date_created":"2020-05-15T12:53:12Z","relation":"main_file","access_level":"open_access","file_size":114060,"content_type":"application/pdf","file_name":"2012_MEMICS_Chatterjee.pdf","date_updated":"2020-07-14T12:46:05Z","file_id":"7863","creator":"dernst","checksum":"eed2cc1e76b160418c977e76e8899a60"}],"intvolume":"      7119","scopus_import":1,"date_created":"2018-12-11T12:02:17Z","author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"last_name":"Doyen","full_name":"Doyen, Laurent","first_name":"Laurent"}],"day":"01","title":"Games and Markov decision processes with mean payoff parity and energy parity objectives","ddc":["000"],"acknowledgement":"This work was partially supported by FWF NFN Grant S11407-N23 (RiSE) and a Microsoft faculty fellowship.","month":"01","doi":"10.1007/978-3-642-25929-6_3","abstract":[{"text":"In this paper we survey results of two-player games on graphs and Markov decision processes with parity, mean-payoff and energy objectives, and the combination of mean-payoff and energy objectives with parity objectives. These problems have applications in verification and synthesis of reactive systems in resource-constrained environments.","lang":"eng"}],"volume":7119,"conference":{"name":"MEMICS: Mathematical and Engineering Methods in Computer Science","start_date":"2011-10-14","location":"Lednice, Czech Republic","end_date":"2011-10-16"},"has_accepted_license":"1","_id":"3255","status":"public","oa_version":"Submitted Version"}