{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T17:14:35Z","timestamp":1769188475065,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100011103","name":"European Commission","doi-asserted-by":"publisher","award":["892704"],"award-info":[{"award-number":["892704"]}],"id":[{"id":"10.13039\/100011103","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394737","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"689-702","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Good-for-games \u03c9-Pushdown Automata"],"prefix":"10.1145","author":[{"given":"Karoliina","family":"Lehtinen","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Liverpool, Liverpool, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Zimmermann","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool, Liverpool, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"STOC","author":"Alur Rajeev","year":"2004"},{"key":"e_1_3_2_1_2_1","volume-title":"B\u00fcchi Good-for-Games Automata Are Efficiently Recognizable. In FSTTCS 2018 (LIPIcs), Sumit Ganguly and Paritosh Pandya (Eds.)","volume":"122","author":"Bagnol Marc","year":"2018"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39212-2_11"},{"key":"e_1_3_2_1_4_1","volume-title":"CONCUR 2019 (LIPIcs), Wan Fokkink and Rob van Glabbeek (Eds.)","volume":"140","author":"Boker Udi","year":"2019"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"J. Richard B\u00fcchi. 1964. Regular canonical systems. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 6 3 (01 Apr 1964) 91--111. https:\/\/doi.org\/10.1007\/BF01969548  J. Richard B\u00fcchi. 1964. Regular canonical systems. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 6 3 (01 Apr 1964) 91--111. https:\/\/doi.org\/10.1007\/BF01969548","DOI":"10.1007\/BF01969548"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.151.1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(77)80004-4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(77)80005-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90019-3"},{"key":"e_1_3_2_1_10_1","volume-title":"ICALP","author":"Colcombet Thomas","year":"2009"},{"key":"e_1_3_2_1_11_1","unstructured":"Thomas Colcombet. 2013. Fonctions r\u00e9guli\u00e8res de co\u00fbt. Habilitation. \u00c9cole Doctorale de Sciences Math\u00e9matiques de Paris Centre.  Thomas Colcombet. 2013. Fonctions r\u00e9guli\u00e8res de co\u00fbt. Habilitation. \u00c9cole Doctorale de Sciences Math\u00e9matiques de Paris Centre."},{"key":"e_1_3_2_1_12_1","unstructured":"Manfred Droste Sven Dziadek and Werner Kuich. 2019. Logic for \u03c9-pushdown automata. (2019). To appear in Information and Computation. Available at https:\/\/www.informatik.uni-leipzig.de\/~dziadek\/papers\/droste_dziadek_kuich-logic_for_omega_pushdown_automata.pdf.  Manfred Droste Sven Dziadek and Werner Kuich. 2019. Logic for \u03c9-pushdown automata. (2019). To appear in Information and Computation. Available at https:\/\/www.informatik.uni-leipzig.de\/~dziadek\/papers\/droste_dziadek_kuich-logic_for_omega_pushdown_automata.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00405-9"},{"key":"e_1_3_2_1_14_1","first-page":"245","article-title":"Infinite Games with Perfect Information. In Contributions to the Theory of Games (AM-28), Volume II, Harold William Kuhn and Albert William Tucker (Eds.). Princeton University Press","volume":"13","author":"Gale David","year":"1953","journal-title":"Chapter"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/938135"},{"key":"e_1_3_2_1_16_1","volume-title":"Solving Games Without Determinization. In CSL 2006 (LNCS), Zolt\u00e1n \u00c9sik (Ed.)","volume":"4207","author":"Thomas","year":"1874"},{"key":"e_1_3_2_1_17_1","unstructured":"John E. Hopcroft Rajeev Motwani and Jeffrey D. Ullman. 2007. Introduction to automata theory languages and computation 3rd Edition. Addison-Wesley.  John E. Hopcroft Rajeev Motwani and Jeffrey D. Ullman. 2007. Introduction to automata theory languages and computation 3rd Edition. Addison-Wesley."},{"key":"e_1_3_2_1_18_1","volume-title":"On Determinisation of Good-for-Games Automata. In ICALP 2015 (Part II) (LNCS), Magn\u00fas M. Halld\u00f3rsson, Kazuo Iwama, Naoki Kobayashi, and Bettina Speckmann (Eds.)","volume":"9135","author":"Kuperberg Denis","year":"2015"},{"key":"e_1_3_2_1_19_1","volume-title":"Logics For Context-Free Languages. In CSL 1994 (LNCS), Leszek Pacholski and Jerzy Tiuryn (Eds.)","volume":"933","author":"Lautemann Clemens","year":"1994"},{"key":"e_1_3_2_1_20_1","unstructured":"Karoliina Lehtinen and Martin Zimmermann. 2020. Good-for-games \u03c9-Pushdown Automata. arXiv 2001.04392 (2020).  Karoliina Lehtinen and Martin Zimmermann. 2020. Good-for-games \u03c9-Pushdown Automata. arXiv 2001.04392 (2020)."},{"key":"e_1_3_2_1_21_1","volume-title":"Visibly Pushdown Games. In FSTTCS 2004 (LNCS), Kamal Lodaya and Meena Mahajan (Eds.)","volume":"3328","author":"L\u00f6ding Christof","year":"2004"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32589-2_66"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00285-1"},{"key":"e_1_3_2_1_24_1","unstructured":"Leslie Valiant. 1973. Decision procedures for families of deterministic pushdown automata. Ph.D. Dissertation. University of Warwick.  Leslie Valiant. 1973. Decision procedures for families of deterministic pushdown automata. Ph.D. Dissertation. University of Warwick."},{"key":"e_1_3_2_1_25_1","first-page":"234","article-title":"Pushdown Processes","volume":"164","author":"Walukiewicz Igor","year":"2001","journal-title":"Games and Model-Checking. Inf. Comput."}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Saarbr\u00fccken Germany","acronym":"LICS '20","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394737","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:35Z","timestamp":1750197755000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":25,"alternative-id":["10.1145\/3373718.3394737","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394737","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}