{"id":"https://openalex.org/W4394782132","doi":"https://doi.org/10.1145/3641513.3650124","title":"Learning Deterministic Multi-Clock Timed Automata","display_name":"Learning Deterministic Multi-Clock Timed Automata","publication_year":2024,"publication_date":"2024-05-02","ids":{"openalex":"https://openalex.org/W4394782132","doi":"https://doi.org/10.1145/3641513.3650124"},"language":"en","primary_location":{"id":"doi:10.1145/3641513.3650124","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641513.3650124","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2404.07823","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059258836","display_name":"Yu Teng","orcid":null},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]},{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["CN","JP"],"is_corresponding":true,"raw_author_name":"Yu Teng","raw_affiliation_strings":["School of Software Engineering, Tongji University, China","School of Software Engineering, Tongji University Shanghai, China","National Institute of Informatics Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"School of Software Engineering, Tongji University Shanghai, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100357896","display_name":"Miaomiao Zhang","orcid":"https://orcid.org/0000-0001-9179-0893"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]},{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["CN","JP"],"is_corresponding":false,"raw_author_name":"Miaomiao Zhang","raw_affiliation_strings":["School of Software Engineering, Tongji University, China","School of Software Engineering, Tongji University Shanghai, China","National Institute of Informatics Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"School of Software Engineering, Tongji University Shanghai, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018852939","display_name":"Jie An","orcid":"https://orcid.org/0000-0001-9260-9697"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]},{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["CN","JP"],"is_corresponding":false,"raw_author_name":"Jie An","raw_affiliation_strings":["National Institute of Informatics, Japan","School of Software Engineering, Tongji University Shanghai, China","National Institute of Informatics Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"School of Software Engineering, Tongji University Shanghai, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"National Institute of Informatics Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059258836"],"corresponding_institution_ids":["https://openalex.org/I116953780","https://openalex.org/I184597095"],"apc_list":null,"apc_paid":null,"fwci":1.6879,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.8576034,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998000264167786,"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.9998000264167786,"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.9945999979972839,"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"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9837999939918518,"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.7442973256111145},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6659625768661499},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.51917564868927},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.42238643765449524},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3174145221710205}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7442973256111145},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6659625768661499},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.51917564868927},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.42238643765449524},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3174145221710205}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3641513.3650124","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641513.3650124","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2404.07823","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.07823","pdf_url":"https://arxiv.org/pdf/2404.07823","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":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2404.07823","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.07823","pdf_url":"https://arxiv.org/pdf/2404.07823","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":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.8299999833106995,"display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4020255992","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5876165404","display_name":null,"funder_award_id":"61972284","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5913768863","display_name":null,"funder_award_id":"JPMJER1603","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6837273006","display_name":null,"funder_award_id":"JPMJER160","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G8592490694","display_name":null,"funder_award_id":"62032019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320338112","display_name":"Exploratory Research for Advanced Technology","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394782132.pdf","grobid_xml":"https://content.openalex.org/works/W4394782132.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W186035943","https://openalex.org/W1500871829","https://openalex.org/W1520252399","https://openalex.org/W1590437595","https://openalex.org/W1883237636","https://openalex.org/W1962619228","https://openalex.org/W1989445634","https://openalex.org/W1994748133","https://openalex.org/W2017603160","https://openalex.org/W2018706164","https://openalex.org/W2083964867","https://openalex.org/W2101508170","https://openalex.org/W2133625193","https://openalex.org/W2170987619","https://openalex.org/W2314110945","https://openalex.org/W2482837440","https://openalex.org/W2500302530","https://openalex.org/W2583228413","https://openalex.org/W2615684752","https://openalex.org/W2969937245","https://openalex.org/W3017336524","https://openalex.org/W3023215056","https://openalex.org/W3041783001","https://openalex.org/W3115515668","https://openalex.org/W3126328623","https://openalex.org/W3156690456","https://openalex.org/W3190009172","https://openalex.org/W3201497886","https://openalex.org/W4283821075","https://openalex.org/W4285268408","https://openalex.org/W4302339081","https://openalex.org/W4312304454","https://openalex.org/W4312627204","https://openalex.org/W4384471267","https://openalex.org/W6889368637","https://openalex.org/W6908235461"],"related_works":["https://openalex.org/W1750171350","https://openalex.org/W2095644384","https://openalex.org/W1903000972","https://openalex.org/W1571606103","https://openalex.org/W2569130014","https://openalex.org/W2149582339","https://openalex.org/W2900094146","https://openalex.org/W1597414920","https://openalex.org/W1928422391","https://openalex.org/W2148140319"],"abstract_inverted_index":{"We":[0,42,138],"present":[1,86],"an":[2,44],"algorithm":[3,15,24,112,143,166],"for":[4],"active":[5,35],"learning":[6,36,59,62,90,142],"of":[7,21,37,51,67,89,156,168,174],"deterministic":[8,38,149],"timed":[9,40,53,150],"automata":[10],"with":[11],"multiple":[12],"clocks.":[13],"The":[14],"is":[16,81,167],"within":[17],"the":[18,27,34,48,58,63,68,76,87,106,111,120,132,135,141,154,159,163,165,172,175],"querying":[19],"framework":[20],"Angluin\u2019s":[22],"L*":[23],"and":[25,55,128,145],"follows":[26],"idea":[28],"proposed":[29],"in":[30,113,118,171],"existing":[31],"work":[32],"on":[33],"one-clock":[39],"automata.":[41],"introduce":[43],"equivalence":[45,129],"relation":[46],"over":[47],"reset-clocked":[49,65,73],"language":[50,66,74],"a":[52,72,92,114,147],"automaton":[54],"then":[56],"transform":[57],"problem":[60],"into":[61],"corresponding":[64],"target":[69,176],"automaton.":[70,151,177],"Since":[71],"includes":[75],"clocks":[77,160],"reset":[78,98,102,136,161],"information":[79,99,103],"which":[80,119],"not":[82],"observable,":[83],"we":[84,109],"first":[85],"approach":[88],"from":[91,105],"powerful":[93],"teacher":[94,116],"who":[95],"can":[96,122],"provide":[97],"by":[100],"answering":[101],"queries":[104],"learner.":[107],"Then":[108],"extend":[110],"normal":[115],"situation":[117],"learner":[121,133],"only":[123],"ask":[124],"standard":[125],"membership":[126],"query":[127,130],"while":[131],"guesses":[134],"information.":[137],"prove":[139],"that":[140],"terminates":[144],"returns":[146],"correct":[148],"Due":[152],"to":[153],"need":[155],"guessing":[157],"whether":[158],"at":[162],"transitions,":[164],"exponential":[169],"complexity":[170],"size":[173]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}