{"id":"https://openalex.org/W2966995099","doi":"https://doi.org/10.1109/tase.2019.2929563","title":"Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems","display_name":"Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems","publication_year":2019,"publication_date":"2019-08-08","ids":{"openalex":"https://openalex.org/W2966995099","doi":"https://doi.org/10.1109/tase.2019.2929563","mag":"2966995099"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2019.2929563","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tase.2019.2929563","pdf_url":"https://ieeexplore.ieee.org/ielx7/8856/8956010/08790980.pdf","source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/8856/8956010/08790980.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100381129","display_name":"Huimin Zhang","orcid":"https://orcid.org/0000-0002-5945-9161"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I29739308","display_name":"Guangxi Normal University","ror":"https://ror.org/02frt9q65","country_code":"CN","type":"education","lineage":["https://openalex.org/I29739308"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Huimin Zhang","raw_affiliation_strings":["College of Computer Science and Information Engineering and the College of Software, Guangxi Normal University, Guilin, China","School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Information Engineering and the College of Software, Guangxi Normal University, Guilin, China","institution_ids":["https://openalex.org/I29739308"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054955661","display_name":"Lei Feng","orcid":"https://orcid.org/0000-0001-5703-5923"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Lei Feng","raw_affiliation_strings":["Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I29739308","display_name":"Guangxi Normal University","ror":"https://ror.org/02frt9q65","country_code":"CN","type":"education","lineage":["https://openalex.org/I29739308"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["College of Computer Science and Information Engineering and the College of Software, Guangxi Normal University, Guilin, China","Institute of Systems Engineering, Macau University of Science and Technology, Macau, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Information Engineering and the College of Software, Guangxi Normal University, Guilin, China","institution_ids":["https://openalex.org/I29739308"]},{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100381129"],"corresponding_institution_ids":["https://openalex.org/I149594827","https://openalex.org/I29739308"],"apc_list":null,"apc_paid":{"value":1641,"currency":"EUR","value_usd":1769},"fwci":0.9999,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.78752077,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"17","issue":"1","first_page":"361","last_page":"374"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9962000250816345,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9900000095367432,"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/supervisor","display_name":"Supervisor","score":0.8458635210990906},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.7575099468231201},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6735482215881348},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6546101570129395},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6316355466842651},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.6294581294059753},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5904943943023682},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.5239503383636475},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47286009788513184},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.45334458351135254},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43104034662246704},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.4205961227416992},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.4177485704421997},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.41260966658592224},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34930944442749023},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.26772552728652954},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21432745456695557},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16354939341545105}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8458635210990906},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.7575099468231201},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6735482215881348},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6546101570129395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6316355466842651},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.6294581294059753},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5904943943023682},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.5239503383636475},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47286009788513184},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.45334458351135254},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43104034662246704},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.4205961227416992},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.4177485704421997},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.41260966658592224},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34930944442749023},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.26772552728652954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21432745456695557},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16354939341545105},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tase.2019.2929563","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tase.2019.2929563","pdf_url":"https://ieeexplore.ieee.org/ielx7/8856/8956010/08790980.pdf","source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:DiVA.org:kth-256054","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-256054","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in journal"}],"best_oa_location":{"id":"doi:10.1109/tase.2019.2929563","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tase.2019.2929563","pdf_url":"https://ieeexplore.ieee.org/ielx7/8856/8956010/08790980.pdf","source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1023919524","display_name":null,"funder_award_id":", Grant","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G2589236386","display_name":null,"funder_award_id":"2018GXNSFAA294052","funder_id":"https://openalex.org/F4320322768","funder_display_name":"Natural Science Foundation of Guangxi Province"},{"id":"https://openalex.org/G2880424216","display_name":null,"funder_award_id":"1562015","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/G3363774619","display_name":null,"funder_award_id":"61873342","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G37568934","display_name":null,"funder_award_id":"Grant","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/G4097747384","display_name":null,"funder_award_id":"61472295","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4119515144","display_name":null,"funder_award_id":"0012/2019/A1","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G4457116140","display_name":null,"funder_award_id":"2018YFB1700104","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4764789804","display_name":null,"funder_award_id":"61562015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G6224682344","display_name":null,"funder_award_id":"AB18126063","funder_id":"https://openalex.org/F4320322768","funder_display_name":"Natural Science Foundation of Guangxi Province"},{"id":"https://openalex.org/G6786522808","display_name":null,"funder_award_id":"AB18126063","funder_id":"https://openalex.org/F4320335965","funder_display_name":"Science and Technology Major Project of Guangxi"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321655","display_name":"Science and Technology Development Fund","ror":"https://ror.org/044vr6g03"},{"id":"https://openalex.org/F4320322768","display_name":"Natural Science Foundation of Guangxi Province","ror":null},{"id":"https://openalex.org/F4320325705","display_name":"Scientific Research and Technology Development Program of Guangxi","ror":null},{"id":"https://openalex.org/F4320326701","display_name":"Recruitment Program of Global Experts","ror":null},{"id":"https://openalex.org/F4320335965","display_name":"Science and Technology Major Project of Guangxi","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2966995099.pdf","grobid_xml":"https://content.openalex.org/works/W2966995099.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W304710776","https://openalex.org/W309865537","https://openalex.org/W642302890","https://openalex.org/W941301462","https://openalex.org/W1486172410","https://openalex.org/W1540605073","https://openalex.org/W1564957338","https://openalex.org/W1572093474","https://openalex.org/W1578004983","https://openalex.org/W1587663028","https://openalex.org/W1597210183","https://openalex.org/W1860124607","https://openalex.org/W1941866442","https://openalex.org/W1960291896","https://openalex.org/W1974645617","https://openalex.org/W1988883016","https://openalex.org/W1989445634","https://openalex.org/W1994164440","https://openalex.org/W2011762419","https://openalex.org/W2059057465","https://openalex.org/W2065340948","https://openalex.org/W2066119429","https://openalex.org/W2105394284","https://openalex.org/W2126295866","https://openalex.org/W2129017981","https://openalex.org/W2140640958","https://openalex.org/W2147795397","https://openalex.org/W2153113788","https://openalex.org/W2314110945","https://openalex.org/W2484993628","https://openalex.org/W2510803631","https://openalex.org/W2561427878","https://openalex.org/W2604111823","https://openalex.org/W2613311451","https://openalex.org/W2614826960","https://openalex.org/W2624652769","https://openalex.org/W2773002878","https://openalex.org/W2783183134","https://openalex.org/W2799338570","https://openalex.org/W2884404272","https://openalex.org/W2894979619","https://openalex.org/W2905463492","https://openalex.org/W2906830113","https://openalex.org/W4298110250","https://openalex.org/W6610831746","https://openalex.org/W6620952727","https://openalex.org/W6628852112","https://openalex.org/W6634460854","https://openalex.org/W6639130712"],"related_works":["https://openalex.org/W2155870982","https://openalex.org/W2042728676","https://openalex.org/W186350370","https://openalex.org/W3135656023","https://openalex.org/W3042269469","https://openalex.org/W2408583837","https://openalex.org/W4317533142","https://openalex.org/W2134923509","https://openalex.org/W4231063068","https://openalex.org/W9554130"],"abstract_inverted_index":{"The":[0,178,190],"paper":[1],"presents":[2],"an":[3],"approach":[4,195],"to":[5,38,67,71,87,105,152],"the":[6,30,41,46,50,59,69,73,83,101,112,115,118,122,125,131,136,143,146,154,157,160,183,187,193],"control":[7,18],"of":[8,21,28,114,121,156,192],"black-box":[9],"embedded":[10],"systems":[11,23],"by":[12],"integrating":[13],"automaton":[14,26,79,109,139,169],"learning":[15,80,95],"and":[16,32,58,78,117,124,140,172],"supervisory":[17],"theory":[19],"(SCT)":[20],"discrete-event":[22],"(DES),":[24],"where":[25],"models":[27],"both":[29,111],"system":[31,42,70,84,116,123,132,148],"requirements":[33,51,161,184],"are":[34,52,162],"unavailable":[35],"or":[36],"hard":[37],"obtain.":[39],"First,":[40],"is":[43,56,65,85,97,133,149,170,176,196],"tested":[44,150],"against":[45],"requirements.":[47,74,126],"If":[48,159],"all":[49],"satisfied,":[53,165],"no":[54],"supervisor":[55,64,129,175],"needed":[57],"process":[60,180],"terminates.":[61],"Otherwise,":[62],"a":[63,89,93,107,128,166,173],"synthesized":[66],"enforce":[68],"satisfy":[72],"To":[75],"apply":[76],"SCT":[77],"technologies":[81],"efficiently,":[82],"abstracted":[86],"be":[88],"finite-discrete":[90],"model.":[91],"Then,":[92],"C*":[94],"algorithm":[96,104],"proposed":[98,194],"based":[99],"on":[100,142],"classical":[102],"L*":[103],"infer":[106],"Moore":[108,138,168],"describing":[110],"behavior":[113,120],"conjunctive":[119],"Subsequently,":[127],"for":[130],"derived":[134],"from":[135],"learned":[137,171],"patched":[141],"system.":[144,189],"Finally,":[145],"controlled":[147,188],"again":[151],"check":[153],"correctness":[155],"supervisor.":[158],"still":[163],"not":[164],"larger":[167],"refined":[174],"synthesized.":[177],"whole":[179],"iterates":[181],"until":[182],"hold":[185],"in":[186],"effectiveness":[191],"manifested":[197],"through":[198],"two":[199],"realistic":[200],"case":[201],"studies.":[202]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2026-04-18T07:56:08.524223","created_date":"2025-10-10T00:00:00"}