{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T19:23:49Z","timestamp":1763925829144,"version":"3.45.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032107589","type":"print"},{"value":"9783032107596","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T00:00:00Z","timestamp":1763942400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T00:00:00Z","timestamp":1763942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-10759-6_20","type":"book-chapter","created":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T19:22:37Z","timestamp":1763925757000},"page":"306-313","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Insights into Learning Broadcast Protocols"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6015-4170","authenticated-orcid":false,"given":"Dana","family":"Fisman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1333-2490","authenticated-orcid":false,"given":"Noa","family":"Izsak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9051-4050","authenticated-orcid":false,"given":"Swen","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,24]]},"reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"issue":"2","key":"20_CR2","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1006\/jcss.1995.1026","volume":"50","author":"D Angluin","year":"1995","unstructured":"Angluin, D., Kharitonov, M.: When won\u2019t membership queries help? J. Comput. Syst. Sci. 50(2), 336\u2013355 (1995)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"20_CR3","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/TSE.2009.89","volume":"36","author":"B Bollig","year":"2010","unstructured":"Bollig, B., Katoen, J., Kern, C., Leucker, M.: Learning communicating automata from MSCs. IEEE Trans. Software Eng. 36(3), 390\u2013408 (2010)","journal-title":"IEEE Trans. Software Eng."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Namjoshi, K.S.: Automatic verification of parameterized synchronous systems. In: Alur, R., Henzinger, T.A. (eds.) Computer Aided Verification, pp. 87\u201398 (1996)","DOI":"10.1007\/3-540-61474-5_60"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Namjoshi, K.S.: On model checking for non-deterministic infinite-state systems. In: LICS, pp. 70\u201380. IEEE Computer Society (1998)","DOI":"10.1109\/LICS.1998.705644"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Esparza, J., Finkel, A., Mayr, R.: On the verification of broadcast protocols. In: LICS, pp. 352\u2013359 (1999)","DOI":"10.1109\/LICS.1999.782630"},{"issue":"3\u20134","key":"20_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.3233\/FI-2011-607","volume":"113","author":"J Esparza","year":"2011","unstructured":"Esparza, J., Leucker, M., Schlund, M.: Learning workflow petri nets. Fundam. Informaticae 113(3\u20134), 205\u2013228 (2011)","journal-title":"Fundam. Informaticae"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Fisman, D., Izsak, N., Jacobs, S.: Learning broadcast protocols. In: Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence, Vancouver, Canada, vol.\u00a011, pp. 12016\u201312023 (2024)","DOI":"10.1609\/aaai.v38i11.29089"},{"issue":"5","key":"20_CR9","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Inf. Control 10(5), 447\u2013474 (1967)","journal-title":"Inf. Control"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1016\/S0019-9958(78)90562-4","volume":"37","author":"EM Gold","year":"1978","unstructured":"Gold, E.M.: Complexity of automaton identification from given data. Inf. Control 37(3), 302\u2013320 (1978)","journal-title":"Inf. Control"},{"key":"20_CR11","unstructured":"Izsak, N.: Learning broadcast protocol. Master\u2019s thesis, Ben-Gurion University of the Negev, Beer-Sheva, Israel (2023). https:\/\/primo.bgu.ac.il\/permalink\/972BGU_INST\/23v028\/alma9927020902704361"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Izsak, N., Fisman, D., Jacobs, S.: Learning broadcast protocols with leopards. In: Akshay, S., Niemetz, A., Sankaranarayanan, S. (eds.) Automated Technology for Verification and Analysis, pp. 220\u2013234. Springer, Cham (2025)","DOI":"10.1007\/978-3-031-78709-6_11"},{"key":"20_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2023.106427","volume":"183","author":"J Lingg","year":"2024","unstructured":"Lingg, J., de Oliveira Oliveira, M., Wolf, P.: Learning from positive and negative examples: new proof for binary alphabets. Inf. Process. Lett. 183, 106427 (2024)","journal-title":"Inf. Process. Lett."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Walukiewicz, I.: Active learning for sound negotiations. In: LICS 2022, pp. 21:1\u201321:12 (2022)","DOI":"10.1145\/3531130.3533342"},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/2967606","volume":"60","author":"FW Vaandrager","year":"2017","unstructured":"Vaandrager, F.W.: Model learning. Commun. ACM 60(2), 86\u201395 (2017)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Cyber Security, Cryptology, and Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10759-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T19:22:41Z","timestamp":1763925761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10759-6_20"}},"subtitle":["(Short Paper)"],"short-title":[],"issued":{"date-parts":[[2025,11,24]]},"ISBN":["9783032107589","9783032107596"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10759-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,24]]},"assertion":[{"value":"24 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CSCML","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Cyber Security, Cryptology, and Machine Learning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Be'er Sheva","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Israel","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cscml2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cscml.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}