{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:01:55Z","timestamp":1725562915938},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151545"},{"type":"electronic","value":"9783642151552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15155-2_52","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T16:17:45Z","timestamp":1281716265000},"page":"592-603","source":"Crossref","is-referenced-by-count":7,"title":["Asynchronous Omega-Regular Games with Partial Information"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Puchala","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-540-85361-9_27","volume-title":"CONCUR 2008 - Concurrency Theory","author":"D. Berwanger","year":"2008","unstructured":"Berwanger, D., et al.: Strategy Construction for Parity Games with Imperfect Information. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 325\u2013339. Springer, Heidelberg (2008)"},{"key":"52_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-75596-8_15","volume-title":"Automated Technology for Verification and Analysis","author":"F. Cassez","year":"2007","unstructured":"Cassez, F., et al.: Timed Control with Observation Based and Stuttering Invariant Strategies. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, pp. 192\u2013206. Springer, Heidelberg (2007)"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., et al.: Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science\u00a03(3) (2007)","DOI":"10.2168\/LMCS-3(3:4)2007"},{"key":"52_CR4","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., et al.: Reasoning About Knowledge. The MIT Press, Cambridge (2003)"},{"key":"52_CR5","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":"52_CR6","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J.Y. Halpern","year":"2004","unstructured":"Halpern, J.Y., van der Meyden, R., Vardi, M.Y.: Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. on Comp.\u00a033, 674\u2013703 (2004)","journal-title":"SIAM J. on Comp."},{"key":"52_CR7","unstructured":"Jurdzi\u0144ski, M.: Games for Verification: Algorithmic Issues. PhD thesis, University of Aarhus (2000)"},{"key":"52_CR8","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Church\u2019s Problem Revisited. The Bulletin of Symbolic Logic\u00a05(2) (1999)","DOI":"10.2307\/421091"},{"key":"52_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1007\/BFb0035790","volume-title":"ICALP 1989","author":"A. Pnueli","year":"1989","unstructured":"Pnueli, A., Rosner, R.: On the Synthesis of an Asynchronous Reactive Module. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, pp. 652\u2013671. Springer, Heidelberg (1989)"},{"key":"52_CR10","unstructured":"Puchala, B.: Infinite Two Player Games with Partial Information: Logic and Algorithms. Diploma Thesis, RWTH Aachen (2008)"},{"key":"52_CR11","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","volume":"29","author":"J.H. Reif","year":"1984","unstructured":"Reif, J.H.: The Complexity of Two-player Games of Incomplete Information. Journal of Computer and System Sciences\u00a029, 274\u2013301 (1984)","journal-title":"Journal of Computer and System Sciences"},{"key":"52_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"STACS 1995","author":"W. Thomas","year":"1995","unstructured":"Thomas, W.: On the Synthesis of Strategies in Infinite Games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 1\u201313. Springer, Heidelberg (1995)"},{"key":"52_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/BFb0055614","volume-title":"CONCUR 1998 Concurrency Theory","author":"R. Meyden van der","year":"1998","unstructured":"van der Meyden, R., Vardi, M.Y.: Synthesis from Knowledge-Based Specifications (Extended Abstract). In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 34\u201349. Springer, Heidelberg (1998)"},{"key":"52_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/11539452_42","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R. Meyden van der","year":"2005","unstructured":"van der Meyden, R., Wilke, T.: Synthesis of Distributed Systems from Knowledge-based Specifications. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 562\u2013576. Springer, Heidelberg (2005)"},{"key":"52_CR15","series-title":"Lecture Notes in Computer Science","first-page":"272","volume-title":"Computer Aided Verification","author":"H. Wong-Toi","year":"1992","unstructured":"Wong-Toi, H., Dill, D.L.: Synthesizing Processes and Schedulers from Temporal Specifications. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 272\u2013281. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15155-2_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:01:48Z","timestamp":1606168908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15155-2_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151545","9783642151552"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15155-2_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}