{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:29:50Z","timestamp":1762100990280},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,1,9]],"date-time":"2010-01-09T00:00:00Z","timestamp":1262995200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1007\/s10849-009-9115-8","type":"journal-article","created":{"date-parts":[[2010,1,8]],"date-time":"2010-01-08T04:30:16Z","timestamp":1262925016000},"page":"395-412","source":"Crossref","is-referenced-by-count":20,"title":["Information Tracking in Games on Graphs"],"prefix":"10.1007","volume":"19","author":[{"given":"Dietmar","family":"Berwanger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0141ukasz","family":"Kaiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,9]]},"reference":[{"key":"9115_CR1","unstructured":"Arnold, A., & Walukiewicz, I. (2007). Nondeterministic controllers of nondeterministic processes. In Logic and automata (Vol. 2). Amsterdam University Press."},{"key":"9115_CR2","doi-asserted-by":"crossref","unstructured":"Berwanger, D. (2010). Infinite coordination games. In Logic and the foundations of game and decision theory (LOFT9), texts in logic and games. Amsterdam University Press, To appear.","DOI":"10.1007\/978-3-642-15164-4_1"},{"key":"9115_CR3","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A. K. Chandra","year":"1981","unstructured":"Chandra A. K., Kozen D., Stockmeyer L. J. (1981) Alternation. Journal of ACM 28: 114\u2013133","journal-title":"Journal of ACM"},{"key":"9115_CR4","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J.-F. (2006). Algorithms for omega-regular games with imperfect information. In Proceedings of the 20th International Workshop on Computer Science Logic (CSL), 15th Annual Conference of the EACSL, Vol. 4207 of LNCS (pp. 287\u2013302). Springer.","DOI":"10.1007\/11874683_19"},{"key":"9115_CR5","first-page":"245","volume":"28","author":"D. Gale","year":"1953","unstructured":"Gale D., Stewart F. M. (1953) Infinite games with perfect information. Annals of Mathematics Studies 28: 245\u2013266","journal-title":"Annals of Mathematics Studies"},{"key":"9115_CR6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s10703-008-0064-7","volume":"34","author":"P. Gastin","year":"2009","unstructured":"Gastin P., Sznajder N., Zeitoun M. (2009) Distributed synthesis for well-connected architectures. Formal Methods in System Design 34: 215\u2013237","journal-title":"Formal Methods in System Design"},{"key":"9115_CR7","unstructured":"Henzinger, T. A. (2005) Games in system design and verification. In Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005)."},{"key":"9115_CR8","doi-asserted-by":"crossref","unstructured":"Kupferman, O., & Vardi, M. Y. (2001). Synthesizing distributed systems, In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science.","DOI":"10.1109\/LICS.2001.932514"},{"key":"9115_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R. McNaughton","year":"1993","unstructured":"McNaughton R. (1993) Infinite games played on finite graphs. Annals of Pure and Applied Logic 65: 149\u2013184","journal-title":"Annals of Pure and Applied Logic"},{"key":"9115_CR10","doi-asserted-by":"crossref","unstructured":"Peterson, G. L., & Reif, J. H. (1979). Multiple-Person alternation. In Proceedings of the 20th Annual Symposium on Foundations of Computer Science, (FOCS 1979), IEEE (pp. 348\u2013363).","DOI":"10.1109\/SFCS.1979.25"},{"key":"9115_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A., & Rosner, E. (1989). On the synthesis of a reactive module. In Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 179\u2013190). ACM Press.","DOI":"10.1145\/75277.75293"},{"key":"9115_CR12","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge P. J., Wonham W. M. (1987) Supervisory control of a class of discrete event processes. SIAM Journal Control and Optimization 25: 206\u2013230","journal-title":"SIAM Journal Control and Optimization"},{"key":"9115_CR13","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","volume":"29","author":"J. Reif","year":"1984","unstructured":"Reif J. (1984) The complexity of two-player games of incomplete information. Journal of Computer and System Sciences 29: 274\u2013301","journal-title":"Journal of Computer and System Sciences"},{"key":"9115_CR14","unstructured":"Rudie, K., & Wonham, W. M. (1990). Supervisory control of communicating processes. In L. Logrippo, R. L. Probert, & H. Ural (Eds.), Proceedings of PSTV 1990, Tenth International Symposium on Protocol Specification, Testing and Verification (pp. 243\u2013257). North-Holland."},{"key":"9115_CR15","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie K., Wonham W. M. (1992) Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control 37: 1692\u20131708","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9115_CR16","doi-asserted-by":"crossref","unstructured":"Thomas, W. (1995). On the synthesis of strategies in infinite games. In STACS 95, Proceedings of the Symposium on Theoretical Aspects of Computer Science (pp. 1\u201313).","DOI":"10.1007\/3-540-59042-0_57"},{"key":"9115_CR17","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S. Tripakis","year":"2004","unstructured":"Tripakis S. (2004) Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters 90: 21\u201328","journal-title":"Information Processing Letters"},{"key":"9115_CR18","doi-asserted-by":"crossref","unstructured":"Walukiewicz, I. (2004). A landscape with games in the background. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2004) (pp. 356\u2013366).","DOI":"10.1109\/LICS.2004.1319630"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9115-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-009-9115-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9115-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:02Z","timestamp":1559269862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-009-9115-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,9]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["9115"],"URL":"https:\/\/doi.org\/10.1007\/s10849-009-9115-8","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,9]]}}}