{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:53Z","timestamp":1750220633162,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T00:00:00Z","timestamp":1600387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Fundamental Research Funds for the Central Universities under Grant","award":["GK201903094;2"],"award-info":[{"award-number":["GK201903094;2"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,9,18]]},"DOI":"10.1145\/3426826.3426851","type":"proceedings-article","created":{"date-parts":[[2020,12,17]],"date-time":"2020-12-17T23:50:38Z","timestamp":1608249038000},"page":"133-138","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Alternation of Restarting Automata"],"prefix":"10.1145","author":[{"given":"Qichao","family":"Wang","sequence":"first","affiliation":[{"name":"Shaanxi Normal University and Guilin University of Electronic Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongming","family":"Li","sequence":"additional","affiliation":[{"name":"Shaanxi Normal University China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyin","family":"Chen","sequence":"additional","affiliation":[{"name":"Philipps-Universit\u00e4t Marburg Marburg 35037 Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,12,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647897.740760"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/338045.338048"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.02.003"},{"volume-title":"Handbook of Model Checking, Edmund\u00a0M","author":"Kupferman Orna","key":"e_1_3_2_1_5_1","unstructured":"Orna Kupferman . 2018. Automata Theory and Model Checking . In Handbook of Model Checking, Edmund\u00a0M . Clarke, Thomas\u00a0A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). Springer , 107\u2013151. Orna Kupferman. 2018. Automata Theory and Model Checking. In Handbook of Model Checking, Edmund\u00a0M. Clarke, Thomas\u00a0A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). Springer, 107\u2013151."},{"volume-title":"Recent Advances in Formal Languages and Applications, Zolt\u00e1n \u00c9sik, Carlos Mart\u00edn-Vide, and Victor Mitrana (Eds.). Studies in Computational Intelligence, Vol.\u00a025","author":"Otto Friedrich","key":"e_1_3_2_1_6_1","unstructured":"Friedrich Otto . 2006. Restarting Automata . In Recent Advances in Formal Languages and Applications, Zolt\u00e1n \u00c9sik, Carlos Mart\u00edn-Vide, and Victor Mitrana (Eds.). Studies in Computational Intelligence, Vol.\u00a025 . Springer , Heidelberg , 269\u2013303. Friedrich Otto. 2006. Restarting Automata. In Recent Advances in Formal Languages and Applications, Zolt\u00e1n \u00c9sik, Carlos Mart\u00edn-Vide, and Victor Mitrana (Eds.). Studies in Computational Intelligence, Vol.\u00a025. Springer, Heidelberg, 269\u2013303."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-016-2164-4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.04.038"}],"event":{"name":"MLMI '20: 2020 The 3rd International Conference on Machine Learning and Machine Intelligence","acronym":"MLMI '20","location":"Hangzhou China"},"container-title":["2020 The 3rd International Conference on Machine Learning and Machine Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426826.3426851","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426826.3426851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:46Z","timestamp":1750197706000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426826.3426851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,18]]},"references-count":8,"alternative-id":["10.1145\/3426826.3426851","10.1145\/3426826"],"URL":"https:\/\/doi.org\/10.1145\/3426826.3426851","relation":{},"subject":[],"published":{"date-parts":[[2020,9,18]]},"assertion":[{"value":"2020-12-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}