{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T20:56:57Z","timestamp":1763931417260,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"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":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533342","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Active learning for sound negotiations\u2731"],"prefix":"10.1145","author":[{"given":"Anca","family":"Muscholl","sequence":"first","affiliation":[{"name":"LaBRI, Bordeaux University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Walukiewicz","sequence":"additional","affiliation":[{"name":"CNRS, LaBRI, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.07.031"},{"key":"e_1_3_2_1_3_1","volume-title":"Learning Weighted Automata. In Algebraic Informatics - International Conference (CAI\u201915)","author":"Balle Borja","year":"2015","unstructured":"Borja Balle and Mehryar Mohri . 2015 . Learning Weighted Automata. In Algebraic Informatics - International Conference (CAI\u201915) (LNCS, Vol.\u00a09270). Springer, 1\u201321. Borja Balle and Mehryar Mohri. 2015. Learning Weighted Automata. In Algebraic Informatics - International Conference (CAI\u201915)(LNCS, Vol.\u00a09270). Springer, 1\u201321."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.89"},{"volume-title":"Computer Aided Verification (CAV\u201910)(LNCS, Vol.\u00a06174)","author":"Bollig Benedikt","key":"e_1_3_2_1_5_1","unstructured":"Benedikt Bollig , Joost-Pieter Katoen , Carsten Kern , Martin Leucker , Daniel Neider , and David Piegdon . 2010. libalf: The automata learning framework . In Computer Aided Verification (CAV\u201910)(LNCS, Vol.\u00a06174) . Springer , 360\u2013364. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, and David Piegdon. 2010. libalf: The automata learning framework. In Computer Aided Verification (CAV\u201910)(LNCS, Vol.\u00a06174). Springer, 360\u2013364."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0355-5"},{"key":"e_1_3_2_1_7_1","unstructured":"Thomas Colcombet Daniela Petrisan and Riccardo Stabile. 2021. Learning Automata and Transducers: A Categorical Approach. In Computer Science Logic (CSL\u201921)(LIPIcs 183). 15:1\u201315:17.  Thomas Colcombet Daniela Petrisan and Riccardo Stabile. 2021. Learning Automata and Transducers: A Categorical Approach. In Computer Science Logic (CSL\u201921)(LIPIcs 183). 15:1\u201315:17."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"e_1_3_2_1_9_1","volume-title":"Protocol State Fuzzing of TLS Implementations. In 24th USENIX Security Symposium. USENIX Association, 193\u2013206","author":"de Ruiter Joeri","year":"2015","unstructured":"Joeri de Ruiter and Erik Poll . 2015 . Protocol State Fuzzing of TLS Implementations. In 24th USENIX Security Symposium. USENIX Association, 193\u2013206 . https:\/\/www.usenix.org\/conference\/usenixsecurity15\/technical-sessions\/presentation\/de-ruiter Joeri de Ruiter and Erik Poll. 2015. Protocol State Fuzzing of TLS Implementations. In 24th USENIX Security Symposium. USENIX Association, 193\u2013206. https:\/\/www.usenix.org\/conference\/usenixsecurity15\/technical-sessions\/presentation\/de-ruiter"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-018-0318-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Volker Diekert and Grzegorz Rozenberg (Eds.). 1995. The Book of Traces. World Scientific Singapore.  Volker Diekert and Grzegorz Rozenberg (Eds.). 1995. The Book of Traces. World Scientific Singapore.","DOI":"10.1142\/2563"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.07.001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-005-1233-3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_31"},{"key":"e_1_3_2_1_15_1","volume-title":"Soundness in negotiations. Log. Methods Comput. Sci. 14, 1","author":"Esparza Javier","year":"2018","unstructured":"Javier Esparza , Denis Kuperberg , Anca Muscholl , and Igor Walukiewicz . 2018. Soundness in negotiations. Log. Methods Comput. Sci. 14, 1 ( 2018 ). https:\/\/doi.org\/10.23638\/LMCS-14(1:4)2018 10.23638\/LMCS-14(1:4)2018 Javier Esparza, Denis Kuperberg, Anca Muscholl, and Igor Walukiewicz. 2018. Soundness in negotiations. Log. Methods Comput. Sci. 14, 1 (2018). https:\/\/doi.org\/10.23638\/LMCS-14(1:4)2018"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/3329995.3330079"},{"volume-title":"Computer Aided Verification - 28th International Conference (CAV\u201916)(LNCS, Vol.\u00a09780)","author":"Fiterau-Brostean Paul","key":"e_1_3_2_1_17_1","unstructured":"Paul Fiterau-Brostean , Ramon Janssen , and Frits\u00a0 W. Vaandrager . 2016. Combining Model Learning and Model Checking to Analyze TCP Implementations . In Computer Aided Verification - 28th International Conference (CAV\u201916)(LNCS, Vol.\u00a09780) . Springer , 454\u2013471. https:\/\/doi.org\/10.1007\/978-3-319-41540-6_25 10.1007\/978-3-319-41540-6_25 Paul Fiterau-Brostean, Ramon Janssen, and Frits\u00a0W. Vaandrager. 2016. Combining Model Learning and Model Checking to Analyze TCP Implementations. In Computer Aided Verification - 28th International Conference (CAV\u201916)(LNCS, Vol.\u00a09780). Springer, 454\u2013471. https:\/\/doi.org\/10.1007\/978-3-319-41540-6_25"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"volume-title":"Runtime verification (RV\u201914)(LNCS, Vol.\u00a08734)","author":"Isberner Malte","key":"e_1_3_2_1_19_1","unstructured":"Malte Isberner , Falk Howar , and Bernhard Steffen . 2014. The TTT algorithm: A redundancy-free approach to active automata learning . In Runtime verification (RV\u201914)(LNCS, Vol.\u00a08734) . Springer , 307\u2013322. Malte Isberner, Falk Howar, and Bernhard Steffen. 2014. The TTT algorithm: A redundancy-free approach to active automata learning. In Runtime verification (RV\u201914)(LNCS, Vol.\u00a08734). Springer, 307\u2013322."},{"volume-title":"Computer Aided Verification (CAV\u201915)(LNCS, Vol.\u00a09206)","author":"Isberner Malte","key":"e_1_3_2_1_20_1","unstructured":"Malte Isberner , Falk Howar , and Bernhard Steffen . 2015. The open-source LearnLib \u2013 A framework for active automata learning .. In Computer Aided Verification (CAV\u201915)(LNCS, Vol.\u00a09206) . Springer , 487\u2013495. Malte Isberner, Falk Howar, and Bernhard Steffen. 2015. The open-source LearnLib \u2013 A framework for active automata learning.. In Computer Aided Verification (CAV\u201915)(LNCS, Vol.\u00a09206). Springer, 487\u2013495."},{"volume-title":"An Introduction to Computational Learning Theory","author":"Kearns J.","key":"e_1_3_2_1_21_1","unstructured":"Michael\u00a0 J. Kearns and Umesh\u00a0 V. Vazirani . 1994. An Introduction to Computational Learning Theory . MIT Press . Michael\u00a0J. Kearns and Umesh\u00a0V. Vazirani. 1994. An Introduction to Computational Learning Theory. MIT Press."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2789272.2912078"},{"volume-title":"Concurrent Program Schemes and their Interpretations. DAIMI Rep. PB\u00a078","author":"Mazurkiewicz Antoni","key":"e_1_3_2_1_23_1","unstructured":"Antoni Mazurkiewicz . 1977. Concurrent Program Schemes and their Interpretations. DAIMI Rep. PB\u00a078 . Aarhus University , Aarhus . Antoni Mazurkiewicz. 1977. Concurrent Program Schemes and their Interpretations. DAIMI Rep. PB\u00a078. Aarhus University, Aarhus."},{"key":"e_1_3_2_1_24_1","volume-title":"Learning Deterministic Automata on Infinite Words. In European Conference on Artificial Intelligence (ECAI\u201920)","author":"Michaliszyn Jakub","year":"2020","unstructured":"Jakub Michaliszyn and Jan Otop . 2020 . Learning Deterministic Automata on Infinite Words. In European Conference on Artificial Intelligence (ECAI\u201920) (Frontiers in Artificial Intelligence and Applications, Vol.\u00a0325). IOS Press, 2370\u20132377. https:\/\/doi.org\/10.3233\/FAIA 200367 10.3233\/FAIA200367 Jakub Michaliszyn and Jan Otop. 2020. Learning Deterministic Automata on Infinite Words. In European Conference on Artificial Intelligence (ECAI\u201920)(Frontiers in Artificial Intelligence and Applications, Vol.\u00a0325). IOS Press, 2370\u20132377. https:\/\/doi.org\/10.3233\/FAIA200367"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009879"},{"volume-title":"Models","author":"Neider Daniel","key":"e_1_3_2_1_26_1","unstructured":"Daniel Neider , Rick Smetsers , Frits\u00a0 W. Vaandrager , and Harco Kuppens . 2018. Benchmarks for Automata Learning and Conformance Testing . In Models , Mindsets, Meta : The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday(Lecture Notes in Computer Science, Vol.\u00a011200), Tiziana Margaria, Susanne Graf, and Kim\u00a0G. Larsen (Eds.). Springer , 390\u2013416. https:\/\/doi.org\/10.1007\/978-3-030-22348-9_23 10.1007\/978-3-030-22348-9_23 Daniel Neider, Rick Smetsers, Frits\u00a0W. Vaandrager, and Harco Kuppens. 2018. Benchmarks for Automata Learning and Conformance Testing. In Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday(Lecture Notes in Computer Science, Vol.\u00a011200), Tiziana Margaria, Susanne Graf, and Kim\u00a0G. Larsen (Eds.). Springer, 390\u2013416. https:\/\/doi.org\/10.1007\/978-3-030-22348-9_23"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"e_1_3_2_1_28_1","volume-title":"ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings(Lecture Notes in Computer Science, Vol.\u00a09407)","author":"Smeenk Wouter","year":"2015","unstructured":"Wouter Smeenk , Joshua Moerman , Frits\u00a0 W. Vaandrager , and David\u00a0 N. Jansen . 2015 . Applying Automata Learning to Embedded Control Software. In Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods , ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings(Lecture Notes in Computer Science, Vol.\u00a09407) , Michael\u00a0J. Butler, Sylvain Conchon, and Fatiha Za\u00efdi (Eds.). Springer, 67\u201383. https:\/\/doi.org\/10.1007\/978-3-319-25423-4_5 10.1007\/978-3-319-25423-4_5 Wouter Smeenk, Joshua Moerman, Frits\u00a0W. Vaandrager, and David\u00a0N. Jansen. 2015. Applying Automata Learning to Embedded Control Software. In Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings(Lecture Notes in Computer Science, Vol.\u00a09407), Michael\u00a0J. Butler, Sylvain Conchon, and Fatiha Za\u00efdi (Eds.). Springer, 67\u201383. https:\/\/doi.org\/10.1007\/978-3-319-25423-4_5"},{"key":"e_1_3_2_1_29_1","volume-title":"ICFEM 2015(LNCS, Vol.\u00a09407)","author":"Smeenk Wouter","year":"2015","unstructured":"Wouter Smeenk , Joshua Moerman , Frits\u00a0 W. Vaandrager , and David\u00a0 N. Jansen . 2015 . Applying Automata Learning to Embedded Control Software. In Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods , ICFEM 2015(LNCS, Vol.\u00a09407) . Springer, 67\u201383. https:\/\/doi.org\/10.1007\/978-3-319-25423-4_5 10.1007\/978-3-319-25423-4_5 Wouter Smeenk, Joshua Moerman, Frits\u00a0W. Vaandrager, and David\u00a0N. Jansen. 2015. Applying Automata Learning to Embedded Control Software. In Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015(LNCS, Vol.\u00a09407). Springer, 67\u201383. https:\/\/doi.org\/10.1007\/978-3-319-25423-4_5"},{"key":"e_1_3_2_1_30_1","unstructured":"Martin Tappler Bernhard\u00a0K. Aichernig and Roderick Bloem. 2019. Model-Based Testing IoT Communication via Active Automata Learning. CoRR abs\/1904.07075(2019). arxiv:1904.07075http:\/\/arxiv.org\/abs\/1904.07075  Martin Tappler Bernhard\u00a0K. Aichernig and Roderick Bloem. 2019. Model-Based Testing IoT Communication via Active Automata Learning. CoRR abs\/1904.07075(2019). arxiv:1904.07075http:\/\/arxiv.org\/abs\/1904.07075"},{"key":"e_1_3_2_1_31_1","volume-title":"Finite Automata: Behavior and Synthesis. North-Holland.","author":"Trakhtenbrot A","year":"1973","unstructured":"Boris\u00a0 A Trakhtenbrot and Ya.\u00a0 M. Barzdin . 1973 . Finite Automata: Behavior and Synthesis. North-Holland. Boris\u00a0A Trakhtenbrot and Ya.\u00a0M. Barzdin. 1973. Finite Automata: Behavior and Synthesis. North-Holland."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394775"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_3_2_1_35_1","volume-title":"van\u00a0der Aalst","author":"Wil","year":"2016","unstructured":"Wil M.\u00a0P. van\u00a0der Aalst . 2016 . Process Mining \u2013 Data Science in Action(second edition ed.). Springer-Verlag Berlin Heidelberg . Wil M.\u00a0P. van\u00a0der Aalst. 2016. Process Mining \u2013 Data Science in Action(second edition ed.). Springer-Verlag Berlin Heidelberg."},{"key":"e_1_3_2_1_36_1","first-page":"1","article-title":"A Tour in Process Mining: From Practice to Algorithmic","volume":"14","author":"van\u00a0der Aalst Wil","year":"2019","unstructured":"Wil M.\u00a0P. van\u00a0der Aalst , Josep Carmona , Thomas Chatain , and Boudewijn\u00a0 F. van Dongen . 2019 . A Tour in Process Mining: From Practice to Algorithmic Challenges. Trans. Petri Nets Other Model. Concurr. 14 (2019), 1 \u2013 35 . https:\/\/doi.org\/10.1007\/978-3-662-60651-3_1 10.1007\/978-3-662-60651-3_1 Wil M.\u00a0P. van\u00a0der Aalst, Josep Carmona, Thomas Chatain, and Boudewijn\u00a0F. van Dongen. 2019. A Tour in Process Mining: From Practice to Algorithmic Challenges. Trans. Petri Nets Other Model. Concurr. 14 (2019), 1\u201335. https:\/\/doi.org\/10.1007\/978-3-662-60651-3_1","journal-title":"Challenges. Trans. Petri Nets Other Model. Concurr."},{"volume-title":"Learning Pomset Automata","author":"van Heerdt Gerco","key":"e_1_3_2_1_37_1","unstructured":"Gerco van Heerdt , Tobias Kapp\u00e9 , Jurriaan Rot , and Alexandra Silva . 2021. Learning Pomset Automata . In Foundation of Software Science and Computation Structures (FoSSaCS\u201921)(LNCS, Vol.\u00a012650). Springer , 510\u2013530. Gerco van Heerdt, Tobias Kapp\u00e9, Jurriaan Rot, and Alexandra Silva. 2021. Learning Pomset Automata. In Foundation of Software Science and Computation Structures (FoSSaCS\u201921)(LNCS, Vol.\u00a012650). Springer, 510\u2013530."},{"key":"e_1_3_2_1_38_1","first-page":"1","article-title":"CALF: Categorical Automata Learning Framework. In Computer Science Logic (CSL\u201917)(LIPIcs, Vol.\u00a082)","volume":"29","author":"van Heerdt Gerco","year":"2017","unstructured":"Gerco van Heerdt , Matteo Sammartino , and Alexandra Silva . 2017 . CALF: Categorical Automata Learning Framework. In Computer Science Logic (CSL\u201917)(LIPIcs, Vol.\u00a082) . Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 29 : 1 \u2013 29 :24. Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva. 2017. CALF: Categorical Automata Learning Framework. In Computer Science Logic (CSL\u201917)(LIPIcs, Vol.\u00a082). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 29:1\u201329:24.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_39_1","volume-title":"Notes on finite asynchronous automata. RAIRO\u2013Theoretical Informatics and Applications 21","author":"Zielonka Wieslaw","year":"1987","unstructured":"Wieslaw Zielonka . 1987. Notes on finite asynchronous automata. RAIRO\u2013Theoretical Informatics and Applications 21 ( 1987 ), 99\u2013135. Wieslaw Zielonka. 1987. Notes on finite asynchronous automata. RAIRO\u2013Theoretical Informatics and Applications 21 (1987), 99\u2013135."}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"Haifa Israel","acronym":"LICS '22"},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:09Z","timestamp":1750186929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":39,"alternative-id":["10.1145\/3531130.3533342","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533342","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}