{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:38:18Z","timestamp":1762033098349},"reference-count":20,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.112.8","type":"journal-article","created":{"date-parts":[[2013,2,28]],"date-time":"2013-02-28T15:15:56Z","timestamp":1362064556000},"page":"33-41","source":"Crossref","is-referenced-by-count":11,"title":["How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)"],"prefix":"10.4204","volume":"112","author":[{"given":"Nils","family":"Bulling","sequence":"first","affiliation":[{"name":"Clausthal University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[{"name":"Technical University of Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2013,3,1]]},"reference":[{"key":"Agotnes07irrevocable","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1324249.1324256","article-title":"Alternating-time Temporal Logics with Irrevocable Strategies","volume-title":"Proceedings of TARK XI","author":"\u00c5gotnes","year":"2007"},{"issue":"6","key":"AlechinaLNR11","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1093\/logcom\/exq032","article-title":"Logic for coalitions with bounded resources","volume":"21","author":"Alechina","year":"2011","journal-title":"J. Log. Comput."},{"issue":"3","key":"AlfaroHK07","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.tcs.2007.07.008","article-title":"Concurrent reachability games","volume":"386","author":"de Alfaro","year":"2007","journal-title":"Theor. Comput. Sci."},{"key":"Alur02ATL","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","article-title":"Alternating-Time Temporal Logic","volume":"49","author":"Alur","year":"2002","journal-title":"Journal of the ACM"},{"key":"BouyerBMU11","doi-asserted-by":"publisher","first-page":"375","DOI":"10.4230\/LIPIcs.FSTTCS.2011.375","article-title":"Nash Equilibria in Concurrent Games with B\u00fcchi Objectives","volume-title":"FSTTCS'2011 LIPIcs","author":"Bouyer","year":"2011"},{"key":"BouyerBMU12","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-642-28729-9_20","article-title":"Concurrent Games with Ordered Objectives","volume-title":"Proc. of FoSSaCS'2012, Springer LNCS, vol. 7213","author":"Bouyer","year":"2012"},{"key":"BullingFarwer2010RAL-ECAI-short","doi-asserted-by":"publisher","first-page":"567","DOI":"10.3233\/978-1-60750-606-5-567","article-title":"On the (Un-)Decidability of Model-Checking Resource-Bounded Agents","volume-title":"Proc. of ECAI 2010","author":"Bulling","year":"2010"},{"issue":"4","key":"ChatterjeeAH11","doi-asserted-by":"publisher","DOI":"10.1145\/1970398.1970404","article-title":"Qualitative concurrent parity games","volume":"12","author":"Chatterjee","year":"2011","journal-title":"ACM Trans. Comput. Log."},{"key":"ChatterjeeD12","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.tcs.2012.07.038","article-title":"Energy parity games","volume":"458","author":"Chatterjee","year":"2012","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"ChatterjeeH12","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1016\/j.jcss.2011.05.002","article-title":"A survey of stochastic \u03c9-regular games","volume":"78","author":"Chatterjee","year":"2012","journal-title":"J. Comput. Syst. Sci."},{"key":"Esparza_decidabilityof","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002360050074","article-title":"Decidability of Model Checking for Infinite-State Concurrent Systems","volume":"34","author":"Esparza","journal-title":"Acta Informatica"},{"key":"Esparza98decidabilityand","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","article-title":"Decidability and complexity of Petri net problems - an Introduction","volume-title":"In Lectures on Petri Nets I: Basic Models","author":"Esparza","year":"1998"},{"issue":"2","key":"Goranko04comparingKRA","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","article-title":"Comparing Semantics of Logics for Multi-agent Systems","volume":"139","author":"Goranko","year":"2004","journal-title":"Synthese"},{"key":"GU08","series-title":"Texts in Logic and Games","first-page":"151","article-title":"Solution Concepts and Algorithms for Infinite Multiplayer Games","volume-title":"New Perspectives on Games and Interaction","volume":"4","author":"Gr\u00e4del","year":"2008"},{"key":"HopcroftUllmann79Automata","doi-asserted-by":"publisher","DOI":"10.1145\/568438.568455","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"issue":"4","key":"Jamroga07constructive-jancl","doi-asserted-by":"publisher","first-page":"423","DOI":"10.3166\/jancl.17.423-475","article-title":"Constructive Knowledge: What Agents Can Achieve under Incomplete Information","volume":"17","author":"Jamroga","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"MonicaNP11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.entcs.2011.10.017","article-title":"On a Logic for Coalitional Games with Priced-Resource Agents","volume":"278","author":"Monica","year":"2011","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"Osborne94gamet","volume-title":"A Course in Game Theory","author":"Osborne","year":"1994"},{"issue":"1","key":"Pauly02modal","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","article-title":"A Modal Logic for Coalitional Power in Games","volume":"12","author":"Pauly","year":"2002","journal-title":"J. of Logic and Computation"},{"key":"Pinchinat07","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-75596-8_19","article-title":"A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies","volume-title":"Proc. of ATVA'2007, Springer LNCS, vol. 4762","author":"Pinchinat","year":"2007"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T13:05:34Z","timestamp":1362488734000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/arxiv.org\/abs\/1303.0789v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,1]]},"references-count":20,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.112.8","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,1]]}}}