{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:26:01Z","timestamp":1740122761758,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,8,7]],"date-time":"2017-08-07T00:00:00Z","timestamp":1502064000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003500","name":"Universit\u00e0 degli Studi di Padova","doi-asserted-by":"publisher","award":["PRAT project \"ANCORE\" no. CPDA148418"],"award-info":[{"award-number":["PRAT project \"ANCORE\" no. CPDA148418"]}],"id":[{"id":"10.13039\/501100003500","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s10703-017-0291-x","type":"journal-article","created":{"date-parts":[[2017,8,7]],"date-time":"2017-08-07T13:12:10Z","timestamp":1502111530000},"page":"259-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Abstracting Nash equilibria of supermodular games"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0159-0068","authenticated-orcid":false,"given":"Francesco","family":"Ranzato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,7]]},"reference":[{"key":"291_CR1","volume-title":"Lattice theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff G (1967) Lattice theory, 3rd edn. AMS, Providence","edition":"3"},{"key":"291_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-7585-0","volume-title":"Fixed point theory in ordered sets and applications","author":"S Carl","year":"2011","unstructured":"Carl S, Heikkil S (2011) Fixed point theory in ordered sets and applications. Springer, Berlin"},{"key":"291_CR3","doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixed points. In: Proceedings of 4th ACM symposium on principles of programming languages (POPL\u201977). ACM Press, pp\u00a0238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"291_CR4","doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1979) Systematic design of program analysis frameworks. In: Proceedings 6th ACM symposium on principles of programming languages (POPL\u201979). ACM Press, pp\u00a0269\u2013282","DOI":"10.1145\/567752.567778"},{"issue":"1","key":"291_CR5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2140\/pjm.1979.82.43","volume":"82","author":"P Cousot","year":"1979","unstructured":"Cousot P, Cousot R (1979) Constructive versions of Tarski\u2019s fixed point theorems. Pac J Math 82(1):43\u201357","journal-title":"Pac J Math"},{"issue":"4","key":"291_CR6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P Cousot","year":"1992","unstructured":"Cousot P, Cousot R (1992) Abstract interpretation frameworks. J Log Comput 2(4):511\u2013547","journal-title":"J Log Comput"},{"key":"291_CR7","unstructured":"Cousot P, Cousot R (1994) Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages) (Invited Paper). In: Proceedings of the IEEE international conference on computer languages (ICCL\u201994). IEEE Computer Society Press, pp\u00a095\u2013112"},{"issue":"1","key":"291_CR8","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1137\/070699652","volume":"39","author":"C Daskalakis","year":"2009","unstructured":"Daskalakis C, Goldberg PW, Papadimitriou CH (2009) The complexity of computing a Nash equilibrium. SIAM J Comput 39(1):195\u2013259","journal-title":"SIAM J Comput"},{"key":"291_CR9","doi-asserted-by":"crossref","unstructured":"Daskalakis C, Mehta A, Papadimitriou CH (2007) Progress in approximate Nash equilibria. In Proceedings of the 8th ACM conference on electronic commerce (EC\u201907). ACM Press, pp\u00a0355\u2013358","DOI":"10.1145\/1250910.1250962"},{"issue":"1","key":"291_CR10","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1016\/j.jet.2006.06.001","volume":"135","author":"F Echenique","year":"2007","unstructured":"Echenique F (2007) Finding all equilibria in games of strategic complements. J Econ Theory 135(1):514\u2013532","journal-title":"J Econ Theory"},{"key":"291_CR11","unstructured":"Geser A, Knoop J, L\u00fcttgen G, Steffen B, R\u00fcthing O (1994) Chaotic fixed point iterations. Technical Report MIP-9403, University of Passau, Germany"},{"issue":"2","key":"291_CR12","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R Giacobazzi","year":"2000","unstructured":"Giacobazzi R, Ranzato F, Scozzari F (2000) Making abstract interpretations complete. J ACM 47(2):361\u2013416","journal-title":"J ACM"},{"key":"291_CR13","volume-title":"Game theory evolving\u2014a problem-centered introduction to modeling strategic interaction","author":"H Gintis","year":"2009","unstructured":"Gintis H (2009) Game theory evolving\u2014a problem-centered introduction to modeling strategic interaction, 2nd edn. Princeton University Press, Princeton","edition":"2"},{"issue":"1","key":"291_CR14","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1137\/090766991","volume":"40","author":"E Hazan","year":"2011","unstructured":"Hazan E, Krauthgamer R (2011) How hard is it to approximate the best Nash equilibrium? SIAM J Comput 40(1):79\u201391","journal-title":"SIAM J Comput"},{"key":"291_CR15","unstructured":"Min\u00e9 A (2004) Weakly relational numerical abstract domains. Ph.D. thesis, \u00c9cole Polytechnique, France"},{"key":"291_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of program analysis","author":"F Nielson","year":"1999","unstructured":"Nielson F, Nielson HR, Hankin C (1999) Principles of program analysis. Springer, Berlin"},{"issue":"3","key":"291_CR17","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G Plotkin","year":"1976","unstructured":"Plotkin G (1976) A powerdomain construction. SIAM J Comput 5(3):452\u2013486","journal-title":"SIAM J Comput"},{"key":"291_CR18","unstructured":"Ranzato F (2015) A new characterization of complete Heyting and co-Heyting algebras. Logical Methods in Computer Science, to appear, 2017"},{"key":"291_CR19","doi-asserted-by":"crossref","unstructured":"Ranzato F (2016) Abstract interpretation of supermodular games. In: Proceedings of the 23rd international static analysis symposium (SAS\u201916), LNCS, vol\u00a09837. Springer, pp\u00a0403\u2013423","DOI":"10.1007\/978-3-662-53413-7_20"},{"issue":"1","key":"291_CR20","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M Smyth","year":"1978","unstructured":"Smyth M (1978) Power domains. J Comput Syst Sci 16(1):23\u201336","journal-title":"J Comput Syst Sci"},{"issue":"5","key":"291_CR21","doi-asserted-by":"crossref","first-page":"1881","DOI":"10.1137\/070695976","volume":"38","author":"U Straccia","year":"2008","unstructured":"Straccia U, Ojeda-Aciego M, Dam\u00e1sio CV (2008) On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. SIAM J Comput 38(5):1881\u20131911","journal-title":"SIAM J Comput"},{"issue":"2","key":"291_CR22","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1287\/opre.26.2.305","volume":"26","author":"DM Topkis","year":"1978","unstructured":"Topkis DM (1978) Minimizing a submodular function on a lattice. Oper Res 26(2):305\u2013321","journal-title":"Oper Res"},{"key":"291_CR23","doi-asserted-by":"crossref","DOI":"10.1515\/9781400822539","volume-title":"Supermodularity and complementarity","author":"DM Topkis","year":"1998","unstructured":"Topkis DM (1998) Supermodularity and complementarity. Princeton University Press, Princeton"},{"key":"291_CR24","unstructured":"Veinott AF (1989) Lattice programming. Unpublished notes from lectures at Johns Hopkins University"},{"key":"291_CR25","unstructured":"Wikipedia. Battle of the sexes. https:\/\/en.wikipedia.org\/wiki\/Battle_of_the_sexes_(game_theory)"},{"issue":"2","key":"291_CR26","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1006\/game.1994.1051","volume":"7","author":"L Zhou","year":"1994","unstructured":"Zhou L (1994) The set of Nash equilibria of a supermodular game is a complete lattice. Games Econ Behav 7(2):295\u2013300","journal-title":"Games Econ Behav"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-017-0291-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0291-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0291-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:36:56Z","timestamp":1602671816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-017-0291-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,7]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["291"],"URL":"https:\/\/doi.org\/10.1007\/s10703-017-0291-x","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2017,8,7]]}}}