{"id":"https://openalex.org/W4386301901","doi":"https://doi.org/10.48550/arxiv.2308.14781","title":"Conflict-Aware Active Automata Learning (Extended Version)","display_name":"Conflict-Aware Active Automata Learning (Extended Version)","publication_year":2023,"publication_date":"2023-08-28","ids":{"openalex":"https://openalex.org/W4386301901","doi":"https://doi.org/10.48550/arxiv.2308.14781"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2308.14781","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2308.14781","pdf_url":"https://arxiv.org/pdf/2308.14781","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2308.14781","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038437346","display_name":"Tiago Ferreira","orcid":"https://orcid.org/0000-0002-6942-0228"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ferreira, Tiago","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026413554","display_name":"L. Henry","orcid":"https://orcid.org/0000-0001-6778-5840"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henry, L\u00e9o","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024218645","display_name":"Raquel Fernandes da Silva","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"da Silva, Raquel Fernandes","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100658822","display_name":"Alexandra Silva","orcid":"https://orcid.org/0000-0001-5014-9784"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Silva, Alexandra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9972000122070312,"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.9972000122070312,"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/T10654","display_name":"Pneumonia and Respiratory Infections","score":0.9589999914169312,"subfield":{"id":"https://openalex.org/subfields/2713","display_name":"Epidemiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9365000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7929025888442993},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.7512746453285217},{"id":"https://openalex.org/keywords/active-learning","display_name":"Active learning (machine learning)","score":0.608558177947998},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5948038697242737},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5685643553733826},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5605531334877014},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.558706521987915},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5392827391624451},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5243340134620667},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5219078063964844},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.5091308951377869},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4896302819252014},{"id":"https://openalex.org/keywords/face","display_name":"Face (sociological concept)","score":0.4137873351573944},{"id":"https://openalex.org/keywords/error-driven-learning","display_name":"Error-driven learning","score":0.4132486581802368},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.2604355812072754},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07755780220031738}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7929025888442993},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.7512746453285217},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.608558177947998},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5948038697242737},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5685643553733826},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5605531334877014},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.558706521987915},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5392827391624451},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5243340134620667},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5219078063964844},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.5091308951377869},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4896302819252014},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.4137873351573944},{"id":"https://openalex.org/C47932503","wikidata":"https://www.wikidata.org/wiki/Q5395689","display_name":"Error-driven learning","level":3,"score":0.4132486581802368},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.2604355812072754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07755780220031738},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2308.14781","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2308.14781","pdf_url":"https://arxiv.org/pdf/2308.14781","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2308.14781","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2308.14781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2308.14781","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2308.14781","pdf_url":"https://arxiv.org/pdf/2308.14781","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7721971682","display_name":"Verification of Hardware Concurrency via Model Learning (CLeVer)","funder_award_id":"EP/S028641/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G789605047","display_name":null,"funder_award_id":"EP/S028641/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386301901.pdf","grobid_xml":"https://content.openalex.org/works/W4386301901.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2489338148","https://openalex.org/W2124961391","https://openalex.org/W576785828","https://openalex.org/W2610542549","https://openalex.org/W4388511637","https://openalex.org/W2074131991","https://openalex.org/W345505079","https://openalex.org/W2733919410","https://openalex.org/W3130131611","https://openalex.org/W2964276041"],"abstract_inverted_index":{"Active":[0,48],"automata":[1],"learning":[2,41,60,78,156],"algorithms":[3],"cannot":[4],"easily":[5],"handle":[6,160],"conflict":[7,26],"in":[8,31,76,85,116,124],"the":[9,16,38,46,59,68,77,105,111,117,144],"observation":[10,70],"data":[11],"(different":[12],"outputs":[13],"observed":[14],"for":[15,154],"same":[17],"inputs).":[18],"This":[19],"inherent":[20],"inability":[21],"to":[22,53,66,91],"recover":[23],"after":[24],"a":[25,73,125,150],"impairs":[27],"their":[28],"effective":[29],"applicability":[30],"scenarios":[32],"where":[33],"noise":[34,161],"is":[35,42,65,83,149],"present":[36],"or":[37],"system":[39,112],"under":[40,113],"mutating.":[43],"We":[44,121],"propose":[45],"Conflict-Aware":[47],"Automata":[49],"Learning":[50],"(C3AL)":[51],"framework":[52,153],"enable":[54],"handling":[55],"conflicting":[56],"information":[57],"during":[58],"process.":[61,79],"The":[62,141],"core":[63],"idea":[64,82],"consider":[67],"so-called":[69],"tree":[71],"as":[72],"first-class":[74],"citizen":[75],"Though":[80],"this":[81],"explored":[84],"recent":[86],"work,":[87],"we":[88],"take":[89],"it":[90],"its":[92,97],"full":[93],"effect":[94],"by":[95],"enabling":[96],"use":[98],"with":[99],"any":[100],"existing":[101],"learner":[102],"and":[103,136,162],"minimizing":[104],"number":[106],"of":[107,119,128,143],"tests":[108],"performed":[109],"on":[110],"learning,":[114],"specially":[115],"face":[118],"conflicts.":[120],"evaluate":[122],"C3AL":[123,148],"large":[126],"set":[127],"benchmarks,":[129],"covering":[130],"over":[131,137],"30":[132],"different":[133,139],"realistic":[134],"targets,":[135],"18,000":[138],"scenarios.":[140],"results":[142],"evaluation":[145],"show":[146],"that":[147,157],"suitable":[151],"alternative":[152],"closed-box":[155],"can":[158],"better":[159],"mutations.":[163]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}