{"id":"https://openalex.org/W4366504204","doi":"https://doi.org/10.1007/978-3-031-30829-1_20","title":"Compositional Learning for Interleaving Parallel Automata","display_name":"Compositional Learning for Interleaving Parallel Automata","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366504204","doi":"https://doi.org/10.1007/978-3-031-30829-1_20"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30829-1_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_20.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_20.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027023281","display_name":"Faezeh Labbaf","orcid":"https://orcid.org/0000-0002-8812-6702"},"institutions":[{"id":"https://openalex.org/I4210109871","display_name":"Khatam University","ror":"https://ror.org/016tr2g85","country_code":"IR","type":"education","lineage":["https://openalex.org/I4210109871"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Faezeh Labbaf","raw_affiliation_strings":["Tehran Institute for Advanced Studies (TeIAS), Khatam University, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Tehran Institute for Advanced Studies (TeIAS), Khatam University, Tehran, Iran","institution_ids":["https://openalex.org/I4210109871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032619003","display_name":"Jan Friso Groote","orcid":"https://orcid.org/0000-0003-2196-6587"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Friso Groote","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014085893","display_name":"Hossein Hojjat","orcid":"https://orcid.org/0000-0002-4743-8750"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]},{"id":"https://openalex.org/I4210109871","display_name":"Khatam University","ror":"https://ror.org/016tr2g85","country_code":"IR","type":"education","lineage":["https://openalex.org/I4210109871"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Hossein Hojjat","raw_affiliation_strings":["Tehran Institute for Advanced Studies (TeIAS), Khatam University, Tehran, Iran","University of Tehran, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Tehran Institute for Advanced Studies (TeIAS), Khatam University, Tehran, Iran","institution_ids":["https://openalex.org/I4210109871"]},{"raw_affiliation_string":"University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101493818","display_name":"Mohammad Reza Mousavi","orcid":"https://orcid.org/0000-0002-4869-6794"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mohammad Reza Mousavi","raw_affiliation_strings":["King\u2019s College London, London, UK","King's College London, London, UK"],"affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, UK","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"King's College London, London, UK","institution_ids":["https://openalex.org/I183935753"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027023281"],"corresponding_institution_ids":["https://openalex.org/I4210109871"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":4.7146,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.95588484,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"413","last_page":"435"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9835000038146973,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.9319661855697632},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8581022620201111},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.757841944694519},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.6128587126731873},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5461269021034241},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5254240036010742},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5055029392242432},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4738089144229889},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4231404960155487},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34702783823013306},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11823484301567078},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07651272416114807}],"concepts":[{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.9319661855697632},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8581022620201111},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.757841944694519},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.6128587126731873},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5461269021034241},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5254240036010742},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5055029392242432},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4738089144229889},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4231404960155487},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34702783823013306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11823484301567078},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07651272416114807},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-031-30829-1_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_20.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/233541c4-cb00-44f3-942a-10f99388cd24","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/233541c4-cb00-44f3-942a-10f99388cd24","pdf_url":"https://kclpure.kcl.ac.uk/ws/files/202428689/mousavi_fossacs_2023.pdf","source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Labbaf, F, Groote, J F, Hojjat, H & Mousavi, M R 2023, Compositional Learning for Interleaving Parallel Automata. in O Kupferman & P Sobocinski (eds), Proceedings of the 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13992 LNCS, pp. 413-435. https://doi.org/10.1007/978-3-031-30829-1_20","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/38fa4442-c797-4104-9fbe-b964c47ffb31","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/38fa4442-c797-4104-9fbe-b964c47ffb31","pdf_url":"https://pure.tue.nl/ws/files/353012136/978-3-031-30829-1_20_1_.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Labbaf, F, Groote, J F, Hojjat, H & Mousavi, M R 2023, Compositional Learning for Interleaving Parallel Automata. in O Kupferman & P Sobocinski (eds), Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22\u201327, 2023, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13992, Springer, Cham, pp. 413-435, 26th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30829-1_20","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/233541c4-cb00-44f3-942a-10f99388cd24","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/files/202428689/mousavi_fossacs_2023.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Labbaf, F, Groote, J F, Hojjat, H & Mousavi, M R 2023, Compositional Learning for Interleaving Parallel Automata. in O Kupferman & P Sobocinski (eds), Proceedings of the 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13992 LNCS, pp. 413-435. https://doi.org/10.1007/978-3-031-30829-1_20","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/38fa4442-c797-4104-9fbe-b964c47ffb31","is_oa":true,"landing_page_url":"https://research.tue.nl/files/353012136/978-3-031-30829-1_20_1_.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Labbaf, F, Groote, J F, Hojjat, H & Mousavi, M R 2023, Compositional Learning for Interleaving Parallel Automata. in O Kupferman & P Sobocinski (eds), Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22\u201327, 2023, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13992, Springer, Cham, pp. 413-435, 26th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30829-1_20","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30829-1_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_20.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4223508424","display_name":null,"funder_award_id":"EP/V026801/2","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4336396751","display_name":null,"funder_award_id":"EP/V026801","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366504204.pdf"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W87901011","https://openalex.org/W315890393","https://openalex.org/W1509343160","https://openalex.org/W1520252399","https://openalex.org/W1938383858","https://openalex.org/W1972505764","https://openalex.org/W1989445634","https://openalex.org/W2029671009","https://openalex.org/W2046160374","https://openalex.org/W2120142089","https://openalex.org/W2132282999","https://openalex.org/W2137837392","https://openalex.org/W2140606869","https://openalex.org/W2296086774","https://openalex.org/W2583228413","https://openalex.org/W2735911163","https://openalex.org/W2883261023","https://openalex.org/W2898453745","https://openalex.org/W2913685706","https://openalex.org/W2944876053","https://openalex.org/W2969937245","https://openalex.org/W3003257820","https://openalex.org/W3023215056","https://openalex.org/W3036139953","https://openalex.org/W3090321239","https://openalex.org/W3107826162","https://openalex.org/W3120639871","https://openalex.org/W3150635270","https://openalex.org/W3186768679","https://openalex.org/W3204234981","https://openalex.org/W4285412086","https://openalex.org/W4293280203","https://openalex.org/W4297922692","https://openalex.org/W4297922696","https://openalex.org/W4366453258","https://openalex.org/W6912778812"],"related_works":["https://openalex.org/W1546526613","https://openalex.org/W2584929923","https://openalex.org/W2489338148","https://openalex.org/W2124961391","https://openalex.org/W127357700","https://openalex.org/W2724597727","https://openalex.org/W1480528870","https://openalex.org/W2508541108","https://openalex.org/W4243191745","https://openalex.org/W2315419748"],"abstract_inverted_index":{"Abstract":[0],"Active":[1],"automata":[2,32],"learning":[3,33,53,100],"has":[4],"been":[5],"a":[6,27,70,108,116],"successful":[7],"technique":[8],"to":[9],"learn":[10],"the":[11,48,54,57,80,120],"behaviour":[12,55],"of":[13,50,56,73,82,94,111],"state-based":[14],"systems":[15,36,51,113],"by":[16],"interacting":[17],"with":[18],"them":[19],"through":[20],"queries.":[21],"In":[22],"this":[23],"paper,":[24],"we":[25],"develop":[26],"compositional":[28],"algorithm":[29,45],"for":[30],"active":[31],"in":[34,119],"which":[35],"comprising":[37],"interleaving":[38,74],"parallel":[39,75],"components":[40],"are":[41],"learned":[42],"compositionally.":[43],"Our":[44,102],"automatically":[46],"learns":[47,69],"structure":[49],"while":[52,99],"components.":[58,76],"We":[59,77],"prove":[60],"that":[61,67,87],"our":[62,83,88],"approach":[63,84,89],"is":[64,105],"sound":[65],"and":[66,85,97],"it":[68],"maximal":[71],"set":[72],"empirically":[78],"evaluate":[79],"effectiveness":[81],"show":[86],"requires":[90],"significantly":[91],"fewer":[92],"numbers":[93],"input":[95],"symbols":[96],"resets":[98],"systems.":[101],"empirical":[103],"evaluation":[104],"based":[106],"on":[107],"large":[109],"number":[110],"subject":[112],"obtained":[114],"from":[115],"case":[117],"study":[118],"automotive":[121],"domain.":[122]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}