{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T04:21:26Z","timestamp":1768278086286,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"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":[[2024,5,14]]},"DOI":"10.1145\/3641513.3650124","type":"proceedings-article","created":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T18:05:48Z","timestamp":1714673148000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Learning Deterministic Multi-Clock Timed Automata"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9434-1695","authenticated-orcid":false,"given":"Yu","family":"Teng","sequence":"first","affiliation":[{"name":"School of Software Engineering, Tongji University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9179-0893","authenticated-orcid":false,"given":"Miaomiao","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Tongji University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9260-9697","authenticated-orcid":false,"given":"Jie","family":"An","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan"}]}],"member":"320","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00173-4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_52"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_25"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-019-2767-4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477030"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90683-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2496242"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i4.20311"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.25596\/jalc-2001-003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_25"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.07.008"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_29"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57628-8_9"},{"key":"e_1_3_2_1_18_1","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft E.","unstructured":"John\u00a0E. Hopcroft and Jeffrey\u00a0D. Ullman. 1979. Introduction to Automata Theory, Languages and Computation. Addison-Wesley."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/S00165-021-00542-7"},{"key":"e_1_3_2_1_20_1","volume-title":"An Introduction to Computational Learning Theory","author":"Kearns J.","unstructured":"Michael\u00a0J. Kearns and Umesh\u00a0V. Vazirani. 1994. An Introduction to Computational Learning Theory. MIT Press."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74792-5_6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.43"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.25596\/jalc-2002-225"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_20"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63406-3_8"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","unstructured":"Bernhard Steffen Falk Howar and Maik Merten. 2011. Introduction to Active Automata Learning from a Practical Perspective. In Proceedings of the 11th International School on Formal Methods for the Design of Computer Communication and Software Systems - Formal Methods for Eternal Networked Software Systems SFM 2011(LNCS Vol.\u00a06659). Springer 256\u2013296. https:\/\/doi.org\/10.1007\/978-3-642-21455-4_8","DOI":"10.1007\/978-3-642-21455-4_8"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19992-9_15"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_13"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_26"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-68195-1_13"},{"key":"e_1_3_2_1_32_1","volume-title":"Benelearn 2007: Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands","author":"Verwer SE","year":"2007","unstructured":"SE Verwer, MM De\u00a0Weerdt, and Cees Witteveen. 2007. An algorithm for learning real-time automata. In Benelearn 2007: Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands, Amsterdam, The Netherlands, 14-15 May 2007."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00982-2_63"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2010.11.023"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-011-5265-4"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37706-8_1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19992-9_16"}],"event":{"name":"HSCC '24: Computation and Control","location":"Hong Kong SAR China","acronym":"HSCC '24","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650124","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641513.3650124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:13:04Z","timestamp":1755907984000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650124"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,14]]},"references-count":37,"alternative-id":["10.1145\/3641513.3650124","10.1145\/3641513"],"URL":"https:\/\/doi.org\/10.1145\/3641513.3650124","relation":{},"subject":[],"published":{"date-parts":[[2024,5,14]]},"assertion":[{"value":"2024-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}