{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:42:55Z","timestamp":1740109375145,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T00:00:00Z","timestamp":1647820800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T00:00:00Z","timestamp":1647820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s00224-021-10044-x","type":"journal-article","created":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T08:02:46Z","timestamp":1647849766000},"page":"4-27","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Observation and Distinction: Representing Information in Infinite Games"],"prefix":"10.1007","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9206-2644","authenticated-orcid":false,"given":"Dietmar","family":"Berwanger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Doyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,21]]},"reference":[{"issue":"1","key":"10044_CR1","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0531(85)90035-3","volume":"37","author":"M Bacharach","year":"1985","unstructured":"Bacharach, M.: Some extensions of a claim of Aumann in an axiomatic model of knowledge. J. Econom. Theory 37(1), 167\u2013190 (1985). https:\/\/doi.org\/10.1016\/0022-0531(85)90035-3","journal-title":"J. Econom. Theory"},{"key":"10044_CR2","unstructured":"Berwanger, D., Doyen, L.: Observation and distinction. Representing information in infinite games. CoRR, arXiv:1809.05978 (2018)"},{"key":"10044_CR3","doi-asserted-by":"publisher","unstructured":"Berwanger, D., Doyen, L.: Observation and distinction. Representing information in infinite games. In: Paul, C., Bl\u00e4ser, M. (eds.) 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), vol. 154 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik. https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2020\/11909, https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2020.48, pp 48:1\u201348:17. Dagstuhl, Germany (2020)","DOI":"10.4230\/LIPIcs.STACS.2020.48"},{"key":"10044_CR4","doi-asserted-by":"publisher","unstructured":"Berwanger, D., Kaiser, L., Puchala, B.: A perfect-information construction for coordination in games. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), vol. 13 of LIPIcs. https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2011.387, pp 387\u2013398. Leibniz-Zentrum fuer Informatik (2011)","DOI":"10.4230\/LIPIcs.FSTTCS.2011.387"},{"key":"10044_CR5","doi-asserted-by":"publisher","unstructured":"Blumensath, A., Gr\u00e4del, E.: Automatic structures. In: Logic in Computer Science (LICS 2000). https:\/\/doi.org\/10.1109\/LICS.2000.855755, pp 51\u201362. IEEE Computer Society (2000)","DOI":"10.1109\/LICS.2000.855755"},{"key":"10044_CR6","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.ic.2015.03.012","volume":"242","author":"L Bozzelli","year":"2015","unstructured":"Bozzelli, L., Maubert, B., Pinchinat, S.: Uniform strategies, rational relations and jumping automata. Information and Computation 242, 80\u2013107 (2015). https:\/\/doi.org\/10.1016\/j.ic.2015.03.012","journal-title":"Information and Computation"},{"key":"10044_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"JR B\u00fcchi","year":"1969","unstructured":"B\u00fcchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society 138, 295\u2013311 (1969). https:\/\/doi.org\/10.2307\/1994916","journal-title":"Transactions of the American Mathematical Society"},{"key":"10044_CR8","doi-asserted-by":"publisher","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.-F.: Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science 3(3). https:\/\/doi.org\/10.2168\/LMCS-3(3:4)2007 (2007)","DOI":"10.2168\/LMCS-3(3:4)2007"},{"issue":"3","key":"10044_CR9","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/3231596","volume":"19","author":"C Dima","year":"2018","unstructured":"Dima, C., Maubert, B., Pinchinat, S.: Relating paths in transition systems: the fall of the modal mu-calculus. ACM Transactions on Computational Logic (TOCL) 19(3), 23:1\u201323:33 (2018). https:\/\/doi.org\/10.1145\/3231596","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"10044_CR10","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge, Mass (2003)"},{"key":"10044_CR11","unstructured":"Fournier, P., Lhote, N.: Equivalence kernels of sequential functions and sequential observation synthesis. CoRR, arXiv:1910.06019 (2019)"},{"issue":"4","key":"10044_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1257\/jep.6.4.53","volume":"6","author":"J Geanakoplos","year":"1992","unstructured":"Geanakoplos, J.: Common knowledge. Journal of Economic Perspectives 6(4), 53\u201382 (1992). https:\/\/doi.org\/10.1257\/jep.6.4.53","journal-title":"Journal of Economic Perspectives"},{"key":"10044_CR13","doi-asserted-by":"publisher","unstructured":"Gossner, O., Tomala, T.: Repeated games with complete information. In: Meyers, R.A. (ed.) Encyclopedia of Complexity and Systems Science. https:\/\/doi.org\/10.1007\/978-0-387-30440-3_451, pp 7616\u20137630. Springer, New York (2009)","DOI":"10.1007\/978-0-387-30440-3_451"},{"key":"10044_CR14","volume-title":"Automata, Logics, and Infinite Games. Number 2500 in Lecture Notes in Computer Science","author":"E Gr\u00e4del","year":"2002","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T.: Automata, Logics, and Infinite Games. Number 2500 in Lecture Notes in Computer Science. Springer, Berlin (2002)"},{"key":"10044_CR15","doi-asserted-by":"publisher","unstructured":"Khoussainov, B., Nerode, A.: Automatic presentations of structures. In: Goos, G., Hartmanis, J., Leeuwen, J., Leivant, D. (eds.) Logic and Computational Complexity. https:\/\/doi.org\/10.1007\/3-540-60178-3_93, vol. 960, pp 367\u2013392. Springer, Berlin (1995)","DOI":"10.1007\/3-540-60178-3_93"},{"key":"10044_CR16","first-page":"193","volume":"28","author":"HW Kuhn","year":"1953","unstructured":"Kuhn, H.W.: Extensive games and the problem of information, Contributions to the theory of games II. Ann. Math. Stud. 28, 193\u2013216 (1953)","journal-title":"Ann. Math. Stud."},{"key":"10044_CR17","doi-asserted-by":"publisher","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesis with incomplete information. In: Barringer, H., Fisher, M., Gabbay, D., Gough, G. (eds.) Advances in Temporal Logic, Applied Logic Series. https:\/\/doi.org\/10.1007\/978-94-015-9586-5_6, pp 109\u2013127. Springer, Netherlands, Dordrecht (2000)","DOI":"10.1007\/978-94-015-9586-5_6"},{"issue":"04","key":"10044_CR18","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.2178\/jsl\/1318338854","volume":"76","author":"D Kuske","year":"2011","unstructured":"Kuske, D., Lohrey, M.: Automatic structures of bounded degree revisited. The Journal of Symbolic Logic 76(04), 1352\u20131380 (2011). https:\/\/doi.org\/10.2178\/jsl\/1318338854","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"10044_CR19","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin, F., Wonham, W.M.: On observability of discrete-event systems. Information Sciences 44(3), 173\u2013198 (1988). https:\/\/doi.org\/10.1016\/0020-0255(88)90001-1","journal-title":"Information Sciences"},{"key":"10044_CR20","doi-asserted-by":"publisher","DOI":"10.1515\/9783112611227","volume-title":"Algebraic Systems","author":"AI Mal\u2019cev","year":"1973","unstructured":"Mal\u2019cev, A.I.: Algebraic Systems. Springer, Berlin (1973). https:\/\/doi.org\/10.1007\/978-3-642-65374-2"},{"key":"10044_CR21","unstructured":"Maubert, B.: Logical foundations of games with imperfect information : uniform strategies. (Fondations logiques des jeux \u00e0 information imparfaite : strat\u00e9gies uniformes). PhD thesis, University of Rennes 1 France (2014)"},{"issue":"01","key":"10044_CR22","doi-asserted-by":"publisher","first-page":"1440004","DOI":"10.1142\/S0219198914400040","volume":"16","author":"B Maubert","year":"2014","unstructured":"Maubert, B., Pinchinat, S.: A general notion of uniform strategies. International Game Theory Review 16(01), 1440004 (2014). https:\/\/doi.org\/10.1142\/S0219198914400040","journal-title":"International Game Theory Review"},{"key":"10044_CR23","unstructured":"Boleslaw Mikolajczak: Algebraic and Structural Automata Theory. Annals of Discrete Mathematics. North-Holland, Amsterdam (1991)"},{"key":"10044_CR24","doi-asserted-by":"crossref","unstructured":"Rabin, M.O.: Automata on Infinite Objects and Church\u2019s Problem. American Mathematical Society, Boston, MA, USA (1972)","DOI":"10.1090\/cbms\/013"},{"key":"10044_CR25","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1112\/plms\/s2-30.1.264","volume":"30","author":"FP Ramsey","year":"1930","unstructured":"Ramsey, F.P.: On a problem in formal logic. Proc. London Math. Soc. 30, 264\u2013286 (1930)","journal-title":"Proc. London Math. Soc."},{"issue":"2","key":"10044_CR26","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","volume":"29","author":"JH Reif","year":"1984","unstructured":"Reif, J.H.: The complexity of two-player games of incomplete information. Journal of Computer and System Sciences 29(2), 274\u2013301 (1984). https:\/\/doi.org\/10.1016\/0022-0000(84)90034-5","journal-title":"Journal of Computer and System Sciences"},{"key":"10044_CR27","doi-asserted-by":"publisher","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Symposium on Theoretical Aspects of Computer Science (STACS 1995), vol. 900, pp. 1\u201313. Springer. https:\/\/doi.org\/10.1007\/3-540-59042-0_57 (1995)","DOI":"10.1007\/3-540-59042-0_57"},{"key":"10044_CR28","doi-asserted-by":"publisher","unstructured":"van der Meyden, R., Wilke, T.: Synthesis of distributed systems from knowledge-based specifications. In: Abadi, M., de Alfaro, L. (eds.) Concurrency Theory (CONCUR 2005), vol. 3653, pp. 562\u2013576. https:\/\/doi.org\/10.1007\/11539452_42. Springer, Berlin (2005)","DOI":"10.1007\/11539452_42"},{"key":"10044_CR29","unstructured":"von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior. Princeton University Press (1944)"},{"issue":"8","key":"10044_CR30","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1007\/BF00264285","volume":"27","author":"A Weber","year":"1990","unstructured":"Weber, A.: On the valuedness of finite transducers. Acta Inf. 27 (8), 749\u2013780 (1990). https:\/\/doi.org\/10.1007\/BF00264285","journal-title":"Acta Inf."}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-021-10044-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00224-021-10044-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-021-10044-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T08:07:39Z","timestamp":1676362059000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00224-021-10044-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,21]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["10044"],"URL":"https:\/\/doi.org\/10.1007\/s00224-021-10044-x","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"type":"print","value":"1432-4350"},{"type":"electronic","value":"1433-0490"}],"subject":[],"published":{"date-parts":[[2022,3,21]]},"assertion":[{"value":"17 April 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 March 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}