{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T14:55:06Z","timestamp":1782917706559,"version":"3.54.5"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227515","type":"print"},{"value":"9783032227522","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T00:00:00Z","timestamp":1776297600000},"content-version":"vor","delay-in-days":105,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22752-2_22","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T21:51:17Z","timestamp":1776289877000},"page":"419-437","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9403-2860","authenticated-orcid":false,"given":"Kyveli","family":"Doveri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3625-6003","authenticated-orcid":false,"given":"Pierre","family":"Ganty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1351-8824","authenticated-orcid":false,"given":"B.","family":"Srivathsan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,16]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"22_CR2","doi-asserted-by":"publisher","unstructured":"Alur, R., Fix, L., Henzinger, T.A.: Event-clock automata: A determinizable class of timed automata. Theor. Comput. Sci. 211(1-2), 253\u2013273 (1999). https:\/\/doi.org\/10.1016\/S0304-3975(97)00173-4","DOI":"10.1016\/S0304-3975(97)00173-4"},{"key":"22_CR3","doi-asserted-by":"publisher","unstructured":"An, J., Chen, M., Zhan, B., Zhan, N., Zhang, M.: Learning one-clock timed automata. In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I. Lecture Notes in Computer Science, vol. 12078, pp. 444\u2013462. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45190-5_25","DOI":"10.1007\/978-3-030-45190-5_25"},{"key":"22_CR4","doi-asserted-by":"publisher","unstructured":"An, J., Wang, L., Zhan, B., Zhan, N., Zhang, M.: Learning real-time automata. Sci. China Inf. Sci. 64(9) (2021). https:\/\/doi.org\/10.1007\/S11432-019-2767-4","DOI":"10.1007\/S11432-019-2767-4"},{"key":"22_CR5","doi-asserted-by":"publisher","unstructured":"An, J., Zhan, B., Zhan, N., Zhang, M.: Learning Nondeterministic Real-Time Automata.ACM Transactions on Embedded Computing Systems 20(5s), 1\u201326 (2021). https:\/\/doi.org\/10.1145\/3477030","DOI":"10.1145\/3477030"},{"key":"22_CR6","doi-asserted-by":"publisher","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput.75(2), 87\u2013106 (1987). https:\/\/doi.org\/10.1016\/0890-5401(87)90052-6","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"22_CR7","doi-asserted-by":"publisher","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Revised Lectures. Lecture Notes in Computer Science, vol.\u00a03185, pp. 200\u2013236. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"22_CR8","doi-asserted-by":"publisher","unstructured":"Bhave, D., Guha, S.: Adding Dense-Timed Stack to Integer Reset Timed Automata. In: RP\u201917: Proc. 11th International Conference on Reachability Problems. LNCS, vol. 10506, pp. 9\u201325. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-67089-8_2","DOI":"10.1007\/978-3-319-67089-8_2"},{"key":"22_CR9","doi-asserted-by":"publisher","unstructured":"Bruy\u00e8re, V., Garhewal, B., P\u00e9rez, G.A., Staquet, G., Vaandrager, F.W.: Active learning of mealy machines with timers. CoRR abs\/2403.02019 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2403.02019","DOI":"10.48550\/ARXIV.2403.02019"},{"key":"22_CR10","doi-asserted-by":"publisher","unstructured":"Doveri, K., Ganty, P., Srivathsan, B.: A Myhill-Nerode style characterization for timed automata with integer resets. In: 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2024. LIPIcs, vol.\u00a0323, pp. 21:1\u201321:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2024). https:\/\/doi.org\/10.4230\/LIPICS.FSTTCS.2024.21","DOI":"10.4230\/LIPICS.FSTTCS.2024.21"},{"key":"22_CR11","unstructured":"Doveri, K., Ganty, P., Srivathsan, B.: A Myhill-Nerode characterization and active learning for one-clock timed automata (2026), https:\/\/arxiv.org\/abs\/2601.15104"},{"key":"22_CR12","doi-asserted-by":"publisher","unstructured":"Grinchtein, O., Jonsson, B., Leucker, M.: Learning of event-recording automata. Theoretical Computer Science 411(47), 4029\u20134054 (2010). https:\/\/doi.org\/10.1016\/j.tcs.2010.07.008","DOI":"10.1016\/j.tcs.2010.07.008"},{"key":"22_CR13","doi-asserted-by":"publisher","unstructured":"Maler, O., Pnueli, A.: On Recognizable Timed Languages. In: FoSSaCS\u201904: Proc. of the Int. Conf. on Foundations of Software Science and Computation Structures. LNCS, vol.\u00a02987, pp. 348\u2013362. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-24727-2_25","DOI":"10.1007\/978-3-540-24727-2_25"},{"key":"22_CR14","doi-asserted-by":"publisher","unstructured":"Suman, P.V., Pandya, P.K., Krishna, S.N., Manasa, L.: Timed Automata with Integer Resets: Language Inclusion and Expressiveness. In: FORMATS\u201908: Proc. of the Int. Conf. on Formal Modeling and Analysis of Timed Systems. vol.\u00a05215, pp. 78\u201392. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-85778-5_7","DOI":"10.1007\/978-3-540-85778-5_7"},{"key":"22_CR15","doi-asserted-by":"publisher","unstructured":"Vaandrager, F.W., Ebrahimi, M., Bloem, R.: Learning mealy machines with one timer. Inf. Comput. 295(Part A), 105013 (2023). https:\/\/doi.org\/10.1016\/J.IC.2023.105013","DOI":"10.1016\/J.IC.2023.105013"},{"key":"22_CR16","doi-asserted-by":"publisher","unstructured":"Waga, M.: Active Learning of\u00a0Deterministic Timed Automata with\u00a0Myhill-Nerode Style Characterization. In: CAV\u201923: Proc. of the 35th Int. Conf. on Computer Aided Verification. LNCS, vol. 13964, pp. 3\u201326. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-37706-8_1","DOI":"10.1007\/978-3-031-37706-8_1"},{"key":"22_CR17","doi-asserted-by":"publisher","unstructured":"Xu, R., An, J., Zhan, B.: Active learning of one-clock timed automata using constraint solving. In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13505, pp. 249\u2013265. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_16","DOI":"10.1007\/978-3-031-19992-9_16"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22752-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T01:59:47Z","timestamp":1782871187000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22752-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227515","9783032227522"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22752-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"16 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}