{"id":"https://openalex.org/W4409495258","doi":"https://doi.org/10.1109/icstw64639.2025.10962513","title":"Mutating Skeletons: Learning Timed Automata via Domain Knowledge","display_name":"Mutating Skeletons: Learning Timed Automata via Domain Knowledge","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4409495258","doi":"https://doi.org/10.1109/icstw64639.2025.10962513"},"language":"en","primary_location":{"id":"doi:10.1109/icstw64639.2025.10962513","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw64639.2025.10962513","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084263260","display_name":"Felix Wallner","orcid":"https://orcid.org/0009-0004-8129-9928"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]},{"id":"https://openalex.org/I4210123126","display_name":"Silicon Austria Labs (Austria)","ror":"https://ror.org/03b1qgn79","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210123126"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Felix Wallner","raw_affiliation_strings":["Graz University of Technology,Silicon Austria Labs, TU Graz - SAL DES Lab,Graz,Austria"],"affiliations":[{"raw_affiliation_string":"Graz University of Technology,Silicon Austria Labs, TU Graz - SAL DES Lab,Graz,Austria","institution_ids":["https://openalex.org/I4210123126","https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009450062","display_name":"Bernhard K. Aichernig","orcid":"https://orcid.org/0000-0002-3484-5584"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Bernhard K. Aichernig","raw_affiliation_strings":["Graz University of Technology,Graz,Austria"],"affiliations":[{"raw_affiliation_string":"Graz University of Technology,Graz,Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054433534","display_name":"Florian Lorber","orcid":"https://orcid.org/0009-0006-2387-2778"},"institutions":[{"id":"https://openalex.org/I4210123126","display_name":"Silicon Austria Labs (Austria)","ror":"https://ror.org/03b1qgn79","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210123126"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Florian Lorber","raw_affiliation_strings":["Silicon Austria Labs,Graz,Austria"],"affiliations":[{"raw_affiliation_string":"Silicon Austria Labs,Graz,Austria","institution_ids":["https://openalex.org/I4210123126"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078635542","display_name":"Martin Tappler","orcid":"https://orcid.org/0000-0002-4193-5609"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martin Tappler","raw_affiliation_strings":["TU Wien,Wien,Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien,Wien,Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5084263260"],"corresponding_institution_ids":["https://openalex.org/I4092182","https://openalex.org/I4210123126"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03766832,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"77"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9988999962806702,"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.9988999962806702,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9854000210762024,"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/T11567","display_name":"semigroups and automata theory","score":0.9739999771118164,"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/computer-science","display_name":"Computer science","score":0.7780227661132812},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6611259579658508},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.5538750290870667},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.512199342250824},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.43916428089141846},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4317891597747803},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.41127365827560425},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0951627790927887}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7780227661132812},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6611259579658508},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.5538750290870667},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.512199342250824},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43916428089141846},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4317891597747803},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.41127365827560425},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0951627790927887},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icstw64639.2025.10962513","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw64639.2025.10962513","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320318209","display_name":"Silicon Austria Labs","ror":"https://ror.org/03b1qgn79"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1524712559","https://openalex.org/W1529010373","https://openalex.org/W1574991981","https://openalex.org/W1579983817","https://openalex.org/W1962619228","https://openalex.org/W2101508170","https://openalex.org/W2969937245","https://openalex.org/W3017336524","https://openalex.org/W3023215056","https://openalex.org/W3201497886","https://openalex.org/W4220762789","https://openalex.org/W4297094130","https://openalex.org/W4381847744","https://openalex.org/W4404706426","https://openalex.org/W6607506376","https://openalex.org/W6628852112","https://openalex.org/W6630803959","https://openalex.org/W6631555882","https://openalex.org/W6634869873","https://openalex.org/W6637155165","https://openalex.org/W6639391079","https://openalex.org/W6642493903","https://openalex.org/W6642784914","https://openalex.org/W6647487409","https://openalex.org/W6654623329","https://openalex.org/W6659478271","https://openalex.org/W6672368428","https://openalex.org/W6676038652","https://openalex.org/W6683151357","https://openalex.org/W6697345364","https://openalex.org/W6702840954","https://openalex.org/W6732943123","https://openalex.org/W6737942748","https://openalex.org/W6789855338","https://openalex.org/W6838235139","https://openalex.org/W6839653957","https://openalex.org/W6841014343","https://openalex.org/W6853759360","https://openalex.org/W6865056292"],"related_works":["https://openalex.org/W2124961391","https://openalex.org/W2489338148","https://openalex.org/W576785828","https://openalex.org/W1583422155","https://openalex.org/W1649619740","https://openalex.org/W4388511637","https://openalex.org/W3213252596","https://openalex.org/W2733919410","https://openalex.org/W2124122503","https://openalex.org/W2165071883"],"abstract_inverted_index":{"Formal":[0],"verification":[1],"techniques,":[2],"such":[3],"as":[4,26,28,42],"model":[5,30,73],"checking,":[6],"can":[7,76,115,129],"provide":[8],"valuable":[9],"insights":[10],"and":[11,16,65,135,148],"guarantees":[12,22],"for":[13,70],"(safety-critical)":[14],"devices":[15],"their":[17,57],"possible":[18],"behavior.":[19,63],"However,":[20,64],"these":[21],"only":[23,46],"hold":[24],"true":[25,69],"long":[27],"the":[29,33,47,51,61,103,111,153],"correctly":[31],"reflects":[32],"system.":[34],"Automata":[35],"learning":[36,74,104],"provides":[37],"a":[38,117,146],"huge":[39],"advantage":[40],"there":[41],"it":[43,137],"enables":[44],"not":[45],"automatic":[48],"creation":[49],"of":[50,60,125,158],"needed":[52],"models":[53],"but":[54],"also":[55],"ensures":[56],"correct":[58],"reflection":[59],"system":[62],"this":[66],"holds":[67],"especially":[68],"real-time":[71],"systems,":[72],"techniques":[75],"become":[77],"very":[78,133],"time":[79],"consuming.":[80],"To":[81],"combat":[82],"this,":[83],"we":[84,108],"show":[85,109],"how":[86,110],"to":[87,100,141],"integrate":[88],"given":[89],"domain":[90],"knowledge":[91],"into":[92],"an":[93,126],"existing":[94],"approach":[95,114,154],"based":[96],"on":[97,155],"genetic":[98,112],"programming":[99,113],"speed":[101],"up":[102],"process.":[105],"In":[106],"particular,":[107],"take":[116],"(possibly":[118],"abstracted,":[119],"incomplete":[120],"or":[121],"incorrect)":[122],"untimed":[123],"skeleton":[124],"automaton,":[127],"which":[128],"often":[130],"be":[131],"obtained":[132],"cheaply,":[134],"augment":[136],"with":[138],"timing":[139],"behavior":[140],"form":[142],"timed":[143],"automata":[144],"in":[145],"fast":[147],"efficient":[149],"manner.":[150],"We":[151],"demonstrate":[152],"several":[156],"examples":[157],"varying":[159],"sizes.":[160]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}