{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T03:01:54Z","timestamp":1761966114425,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_4","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T03:33:16Z","timestamp":1308367996000},"page":"12-26","source":"Crossref","is-referenced-by-count":19,"title":["Does It Pay to Extend the Perimeter of a World Model?"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. of POPL, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"4_CR2","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesis with incomplete informatio. In: Proc. of ICTL (1997)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: Proc. of LICS, pp. 321\u2013330 (2005)","DOI":"10.1109\/LICS.2005.53"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of reactive(1) designs. In: Proc. of VMCAI, pp. 364\u2013380 (2006)","DOI":"10.1007\/11609773_24"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Schewe, S.: SMT-based synthesis of distributed systems. In: Proc. of AFM (2007)","DOI":"10.1145\/1345169.1345178"},{"key":"4_CR6","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1991)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Logics, and Infinite Games","year":"2002","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games. LNCS, vol.\u00a02500. Springer, Heidelberg (2002)"},{"key":"4_CR8","unstructured":"Vardi, M.Y., Wilke, T.: Automata: from logics to algorithms. In: Flum, J., Gr\u00e4del, E., Wilke, T. (eds.) Logic and Automata: History and Perspectives, pp. 629\u2013736 (2007)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Jurdzi\u0144ski, M.: Small progress measures for solving parity games. In: Proc. STACS, pp. 290\u2013301 (2000)","DOI":"10.1007\/3-540-46541-3_24"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"805","DOI":"10.2307\/2232669","volume":"92","author":"G. Loomes","year":"1982","unstructured":"Loomes, G., Sugden, R.: Regret theory: An alternative theory of rational choice under uncertainty. Economic Journal\u00a092, 805\u2013824 (1982)","journal-title":"Economic Journal"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T20:07:05Z","timestamp":1560283625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}