{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:59Z","timestamp":1760202719527,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544570"},{"type":"electronic","value":"9783662544587"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54458-7_9","type":"book-chapter","created":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T09:22:57Z","timestamp":1489569777000},"page":"145-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the Existence of Weak Subgame Perfect Equilibria"],"prefix":"10.1007","author":[{"given":"V\u00e9ronique","family":"Bruy\u00e8re","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Le Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Raskin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,16]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70918-3_17","volume-title":"STACS 2007","author":"D Berwanger","year":"2007","unstructured":"Berwanger, D.: Admissibility in infinite games. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393. Springer, Heidelberg (2007)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-30000-9_1","volume-title":"Language and Automata Theory and Applications","author":"R Brenguier","year":"2016","unstructured":"Brenguier, R., Clemente, L., Hunter, P., P\u00e9rez, G.A., Randour, M., Raskin, J.-F., Sankur, O., Sassolas, M.: Non-zero sum games for reactive synthesis. In: Dediu, A.-H., Janou\u0161ek, J., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2016. LNCS, vol. 9618, pp. 3\u201323. Springer, Cham (2016). doi:10.1007\/978-3-319-30000-9_1"},{"key":"9_CR3","unstructured":"Brenguier, R., Raskin, J.-F., Sankur, O.: Assume-admissible synthesis. In: CONCUR, LIPIcs, vol. 42, pp. 100\u2013113. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Brenguier, R., Raskin, J.-F., Sassolas, M.: The complexity of admissibility in omega-regular games. In: CSL-LICS, pp. 23:1\u201323:10. ACM (2014)","DOI":"10.1145\/2603088.2603143"},{"key":"9_CR5","unstructured":"Brihaye, T., Bruy\u00e8re, V., Meunier, N., Raskin, J.-F.: Weak subgame perfect equilibria and their application to quantitative reachability. In: CSL, LIPIcs, vol. 41, pp. 504\u2013518. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bruy\u00e8re, V., Meunier, N., Raskin, J.-F.: Secure equilibria in weighted games. In: CSL-LICS, pp. 26:1\u201326:26. ACM (2014)","DOI":"10.1145\/2603088.2603109"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.tcs.2006.07.032","volume":"365","author":"K Chatterjee","year":"2006","unstructured":"Chatterjee, K., Henzinger, T.A., Jurdzinski, M.: Games with secure equilibria. Theor. Comput. Sci. 365, 67\u201382 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-54013-4_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"K Chatterjee","year":"2014","unstructured":"Chatterjee, K., Doyen, L., Filiot, E., Raskin, J.-F.: Doomsday equilibria for omega-regular games. In: McMillan, K.L., Rival, X. (eds.) VMCAI 2014. LNCS, vol. 8318, pp. 78\u201397. Springer, Heidelberg (2014). doi:10.1007\/978-3-642-54013-4_5"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/1805950.1805953","volume":"11","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.A.: Quantitative languages. ACM Trans. Comput. Log. 11, 23:1\u201323:38 (2010)","journal-title":"ACM Trans. Comput. Log."},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-71209-1_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Chatterjee","year":"2007","unstructured":"Chatterjee, K., Henzinger, T.A.: Assume-guarantee synthesis. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 261\u2013275. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-71209-1_21"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-662-44465-8_19","volume-title":"Mathematical Foundations of Computer Science 2014","author":"J Pril","year":"2014","unstructured":"Pril, J., Flesch, J., Kuipers, J., Schoenmakers, G., Vrieze, K.: Existence of secure equilibrium in multi-player games with perfect information. In: Csuhaj-Varj\u00fa, E., Dietzfelbinger, M., \u00c9sik, Z. (eds.) MFCS 2014. LNCS, vol. 8635, pp. 213\u2013225. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-44465-8_19"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1287\/moor.1100.0469","volume":"35","author":"J Flesch","year":"2010","unstructured":"Flesch, J., Kuipers, J., Mashiah-Yaakovi, A., Schoenmakers, G., Solan, E., Vrieze, K.: Perfect-information games with lower-semicontinuous payoffs. Math. Oper. Res. 35, 742\u2013755 (2010)","journal-title":"Math. Oper. Res."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Flesch, J., Predtetchinski, A.: A characterization of subgame perfect equilibrium plays in borel games of perfect information. Math. Oper. Res. (2017, to appear)","DOI":"10.1287\/moor.2016.0843"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0022-0531(83)90076-5","volume":"31","author":"D Fudenberg","year":"1983","unstructured":"Fudenberg, D., Levine, D.: Subgame-perfect equilibria of finite- and infinite-horizon games. J. Econ. Theor. 31, 251\u2013268 (1983)","journal-title":"J. Econ. Theor."},{"key":"9_CR15","unstructured":"Gr\u00e4del, E., Ummels, M.: Solution concepts and algorithms for infinite multiplayer games. In: New Perspectives on Games and Interaction, vol. 4, pp. 151\u2013178. University Press, Amsterdam (2008)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Kuhn, H.W.: Extensive games and the problem of information, pp. 46\u201368. Classics in Game Theory (1953)","DOI":"10.2307\/j.ctv173f1fh.11"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-016-9508-8","volume":"78","author":"O Kupferman","year":"2016","unstructured":"Kupferman, O., Perelli, G., Vardi, M.Y.: Synthesis with rational environments. Ann. Math. Artif. Intell. 78(1), 3\u201320 (2016)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-28678-5_11","volume-title":"Topics in Theoretical Computer Science","author":"S Le Roux","year":"2016","unstructured":"Le Roux, S.: Infinite subgame perfect equilibrium in the Hausdorff difference. In: Hajiaghayi, M.T., Mousavi, M.R. (eds.) TTCS 2015. LNCS, vol. 9541, pp. 147\u2013163. Springer, Cham (2016)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Le Roux, S., Pauly, A.: Infinite sequential games with real-valued payoffs. In: CSL-LICS, pp. 62:1\u201362:10. ACM (2014)","DOI":"10.1145\/2603088.2603120"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Nash, J.F.: Equilibrium points in $$n$$-person games. In: PNAS, vol. 36, pp. 48\u201349. National Academy of Sciences (1950)","DOI":"10.1073\/pnas.36.1.48"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL, pp. 179\u2013190. ACM Press (1989)","DOI":"10.1145\/75277.75293"},{"issue":"3","key":"9_CR22","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1287\/moor.1110.0504","volume":"36","author":"RA Purves","year":"2011","unstructured":"Purves, R.A., Sudderth, W.D.: Perfect information games with upper semicontinuous payoffs. Math. Oper. Res. 36(3), 468\u2013473 (2011)","journal-title":"Math. Oper. Res."},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"909","DOI":"10.2307\/2938166","volume":"59","author":"A Rubinstein","year":"1991","unstructured":"Rubinstein, A.: Comments on the interpretation of game theory. Econometrica 59, 909\u2013924 (1991)","journal-title":"Econometrica"},{"key":"9_CR24","unstructured":"Selten, R.: Spieltheoretische Behandlung eines Oligopolmodells mit Nachfragetr\u00e4gheit. Zeitschrift f\u00fcr die gesamte Staatswissenschaft 121, 301\u2013324, 667\u2013689 (1965)"},{"key":"9_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09751-0","volume-title":"Handbook of Peer-to-Peer Networking","author":"XS Shen","year":"2010","unstructured":"Shen, X.S., Yu, H., Buford, J., Akon, M.: Handbook of Peer-to-Peer Networking. Springer, Heidelberg (2010)"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1016\/S0304-4068(03)00021-1","volume":"39","author":"E Solan","year":"2003","unstructured":"Solan, E., Vieille, N.: Deterministic multi-player Dynkin games. J. Math. Econ. 39, 911\u2013929 (2003)","journal-title":"J. Math. Econ."},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/11944836_21","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"M Ummels","year":"2006","unstructured":"Ummels, M.: Rational behaviour and strategy construction in infinite multiplayer games. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 212\u2013223. Springer, Heidelberg (2006). doi:10.1007\/11944836_21"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54458-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:03:05Z","timestamp":1618970585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54458-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544570","9783662544587"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54458-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"16 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fossacs","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}