{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:05:11Z","timestamp":1755993911300,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T00:00:00Z","timestamp":1694736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,15]]},"DOI":"10.1145\/3629264.3629280","type":"proceedings-article","created":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T19:39:53Z","timestamp":1703014793000},"page":"35-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automaton Model Updating Based on the L* Algorithm"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5945-9161","authenticated-orcid":false,"given":"Huimin","family":"Zhang","sequence":"first","affiliation":[{"name":"1Key Lab of Education Blockchain and Intelligent Technology, Ministry of Education, Guangxi Normal University,2Guangxi Key Lab of Multi-source Information Mining & Security, Guangxi Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0377-9203","authenticated-orcid":false,"given":"Yi","family":"Shi","sequence":"additional","affiliation":[{"name":"1Key Lab of Education Blockchain and Intelligent Technology, Ministry of Education, Guangxi Normal University,2Guangxi Key Lab of Multi-source Information Mining & Security, Guangxi Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3354-6937","authenticated-orcid":false,"given":"Feng","family":"Yu","sequence":"additional","affiliation":[{"name":"1Key Lab of Education Blockchain and Intelligent Technology, Ministry of Education, Guangxi Normal University,2Guangxi Key Lab of Multi-source Information Mining & Security, Guangxi Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,12,19]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/978-0-387-68612-7_11"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1146\/annurev-control-053018-023717"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/TCSS.2022.3186249"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/s10009-019-00513-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/ETFA.2014.7005202"},{"key":"e_1_3_2_1_6_1","volume-title":"Introduction to Active Automata Learning from a Practical Perspective. SFM","author":"Steffen B","year":"2011","unstructured":"Steffen B, Howar F, Merten M. 2011. Introduction to Active Automata Learning from a Practical Perspective. SFM. 2011, 11: 256-296."},{"key":"e_1_3_2_1_7_1","volume-title":"Passively learning finite automata","author":"Murphy P.","year":"1995","unstructured":"Murphy, Kevin P. 1995. Passively learning finite automata. Santa Fe Institute, 1995."},{"doi-asserted-by":"publisher","unstructured":"Angluin Dana. Learning regular sets from queries and counterexamples. Information and computation 75.2 (1987): 87-106. https:\/\/doi.org\/10.1016\/0890-5401(87)90052-6.","key":"e_1_3_2_1_8_1","DOI":"10.1016\/0890-5401(87)90052-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/978-3-319-96562-8_5"},{"key":"e_1_3_2_1_10_1","volume-title":"2016 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH). IEEE","author":"Bouchekir R","year":"2016","unstructured":"Bouchekir R, Boukhedouma S, Boukala M C. 2016. Automatic compositional verification of probabilistic safety properties for inter-organisational workflow processes. 2016 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH). IEEE, 2016: 1-10."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/s10009-009-0120-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.3390\/electronics11040643"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/978-3-540-30538-5_41"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/ACCESS.2020.2983074"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/3-540-46002-0_25"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1109\/CVPR52688.2022.01445"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/3546932.3546991"},{"doi-asserted-by":"crossref","unstructured":"Valiant Leslie G. 1984. A theory of the learnable. Communications of the ACM. (1984): 1134-1142.","key":"e_1_3_2_1_18_1","DOI":"10.1145\/1968.1972"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-319-11164-3_26"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/978-3-030-00244-2_11"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1109\/TSE.1978.231496"},{"doi-asserted-by":"publisher","unstructured":"Mu\u0161kardin Edi 2022. AALpy: an active automata learning library. Innovations in Systems and Software Engineering 18.3 (2022): 417-426. https:\/\/doi.org\/10.1007\/s11334-022-00449-3","key":"e_1_3_2_1_22_1","DOI":"10.1007\/s11334-022-00449-3"}],"event":{"acronym":"ICCDA 2023","name":"ICCDA 2023: 2023 The 7th International Conference on Computing and Data Analysis","location":"Guiyang China"},"container-title":["Proceedings of the 2023 7th International Conference on Computing and Data Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3629264.3629280","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3629264.3629280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:30:30Z","timestamp":1755916230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3629264.3629280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,15]]},"references-count":22,"alternative-id":["10.1145\/3629264.3629280","10.1145\/3629264"],"URL":"https:\/\/doi.org\/10.1145\/3629264.3629280","relation":{},"subject":[],"published":{"date-parts":[[2023,9,15]]},"assertion":[{"value":"2023-12-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}