{"id":"https://openalex.org/W4388505288","doi":"https://doi.org/10.1109/tcad.2023.3331215","title":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","display_name":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","publication_year":2023,"publication_date":"2023-11-08","ids":{"openalex":"https://openalex.org/W4388505288","doi":"https://doi.org/10.1109/tcad.2023.3331215"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2023.3331215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3331215","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5100408475","display_name":"Yixuan Wang","orcid":"https://orcid.org/0000-0003-0847-8570"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yixuan Wang","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL, USA"],"raw_orcid":"https://orcid.org/0000-0003-0847-8570","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055003391","display_name":"Weichao Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weichao Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Boston University, Boston, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039944437","display_name":"Jiameng Fan","orcid":"https://orcid.org/0000-0001-9325-7718"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiameng Fan","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Boston University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0000-0001-9325-7718","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101595179","display_name":"Zhilu Wang","orcid":"https://orcid.org/0000-0002-6645-262X"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhilu Wang","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL, USA"],"raw_orcid":"https://orcid.org/0000-0002-6645-262X","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033665620","display_name":"Jiajun Li","orcid":"https://orcid.org/0000-0001-8989-7739"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jiajun Li","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, U.K"],"raw_orcid":"https://orcid.org/0000-0001-8989-7739","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, U.K","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100363116","display_name":"Xin Chen","orcid":"https://orcid.org/0000-0003-1950-2468"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xin Chen","raw_affiliation_strings":["Department of Computer Science, University of New Mexico, Albuquerque, NM, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of New Mexico, Albuquerque, NM, USA","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009913582","display_name":"Chao Huang","orcid":"https://orcid.org/0000-0002-9300-1787"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chao Huang","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, U.K"],"raw_orcid":"https://orcid.org/0000-0002-9300-1787","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, U.K","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100381719","display_name":"Wenchao Li","orcid":"https://orcid.org/0000-0001-8926-5539"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wenchao Li","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Boston University, Boston, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020896290","display_name":"Qi Zhu","orcid":"https://orcid.org/0000-0002-7700-4099"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Zhu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL, USA"],"raw_orcid":"https://orcid.org/0000-0002-7700-4099","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0621,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.89117871,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"43","issue":"3","first_page":"994","last_page":"1007"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","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/T11689","display_name":"Adversarial Robustness in Machine Learning","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/T10142","display_name":"Formal Methods in Verification","score":0.9926999807357788,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9799000024795532,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/reachability","display_name":"Reachability","score":0.8612867593765259},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.700644850730896},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6408498883247375},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6136621236801147},{"id":"https://openalex.org/keywords/polar","display_name":"Polar","score":0.4956740140914917},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.489210844039917},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.46793100237846375},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.43435490131378174},{"id":"https://openalex.org/keywords/feed-forward","display_name":"Feed forward","score":0.4325244724750519},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3980254828929901},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3543230891227722},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.323081374168396},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.1459575891494751},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12362799048423767},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08717897534370422},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08496680855751038}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8612867593765259},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.700644850730896},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6408498883247375},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6136621236801147},{"id":"https://openalex.org/C29705727","wikidata":"https://www.wikidata.org/wiki/Q294562","display_name":"Polar","level":2,"score":0.4956740140914917},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.489210844039917},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.46793100237846375},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.43435490131378174},{"id":"https://openalex.org/C38858127","wikidata":"https://www.wikidata.org/wiki/Q5441228","display_name":"Feed forward","level":2,"score":0.4325244724750519},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3980254828929901},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3543230891227722},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.323081374168396},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.1459575891494751},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12362799048423767},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08717897534370422},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08496680855751038},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2023.3331215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3331215","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","score":0.4300000071525574,"display_name":"Responsible consumption and production"}],"awards":[{"id":"https://openalex.org/G316419553","display_name":null,"funder_award_id":"CNS-1839511","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3649072122","display_name":null,"funder_award_id":"IIS-1724341","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4646585153","display_name":null,"funder_award_id":"FA8650-16-C-2642","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G6334285780","display_name":null,"funder_award_id":"CNS-1834701","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7047444470","display_name":null,"funder_award_id":"CCF-1834324","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7431208780","display_name":null,"funder_award_id":"CNS-2038853","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7908841254","display_name":null,"funder_award_id":"N00014-19-1-2496","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8677814625","display_name":null,"funder_award_id":"CCF-1646497","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":82,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W306903215","https://openalex.org/W856973001","https://openalex.org/W1507872748","https://openalex.org/W1523169754","https://openalex.org/W1607353007","https://openalex.org/W1999874108","https://openalex.org/W2004463571","https://openalex.org/W2015863039","https://openalex.org/W2039123074","https://openalex.org/W2045074180","https://openalex.org/W2084859862","https://openalex.org/W2136662198","https://openalex.org/W2145339207","https://openalex.org/W2155007355","https://openalex.org/W2158223566","https://openalex.org/W2165489953","https://openalex.org/W2176215692","https://openalex.org/W2336607923","https://openalex.org/W2342840547","https://openalex.org/W2543296129","https://openalex.org/W2555983297","https://openalex.org/W2565186948","https://openalex.org/W2568852336","https://openalex.org/W2569907144","https://openalex.org/W2576277975","https://openalex.org/W2594877703","https://openalex.org/W2721006554","https://openalex.org/W2759834774","https://openalex.org/W2777392906","https://openalex.org/W2791251367","https://openalex.org/W2794609696","https://openalex.org/W2800473699","https://openalex.org/W2806163172","https://openalex.org/W2889490035","https://openalex.org/W2938701611","https://openalex.org/W2945782956","https://openalex.org/W2962756933","https://openalex.org/W2963600714","https://openalex.org/W2964130946","https://openalex.org/W2980176926","https://openalex.org/W3007157104","https://openalex.org/W3046272654","https://openalex.org/W3048265338","https://openalex.org/W3049327451","https://openalex.org/W3089856152","https://openalex.org/W3091798065","https://openalex.org/W3091969306","https://openalex.org/W3113369941","https://openalex.org/W3117881175","https://openalex.org/W3184441520","https://openalex.org/W3199498054","https://openalex.org/W3214899300","https://openalex.org/W3215436808","https://openalex.org/W4206570602","https://openalex.org/W4226362578","https://openalex.org/W4237918430","https://openalex.org/W4283802686","https://openalex.org/W4285261441","https://openalex.org/W4290087487","https://openalex.org/W4292994524","https://openalex.org/W4298070618","https://openalex.org/W4298255709","https://openalex.org/W4312091425","https://openalex.org/W4312660377","https://openalex.org/W4324116431","https://openalex.org/W4387735088","https://openalex.org/W6682849425","https://openalex.org/W6683433598","https://openalex.org/W6704559304","https://openalex.org/W6740406300","https://openalex.org/W6746969752","https://openalex.org/W6748458661","https://openalex.org/W6751161574","https://openalex.org/W6751834733","https://openalex.org/W6754543342","https://openalex.org/W6754619240","https://openalex.org/W6779597858","https://openalex.org/W6804343242","https://openalex.org/W6810386016","https://openalex.org/W6844914471","https://openalex.org/W6849575901"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W4321471459","https://openalex.org/W2889071233","https://openalex.org/W2380814829","https://openalex.org/W2387511021"],"abstract_inverted_index":{"Neural":[0],"networks":[1],"(NNs)":[2],"playing":[3],"the":[4,18,32,36,59,81,106,148,153,169,176],"role":[5],"of":[6,21,38,61,80,164],"controllers":[7,23],"have":[8],"demonstrated":[9],"impressive":[10],"empirical":[11],"performance":[12],"on":[13,160],"challenging":[14],"control":[15],"problems.":[16],"However,":[17],"potential":[19],"adoption":[20],"NN":[22,75],"in":[24,124,175],"real-life":[25],"applications":[26],"has":[27],"been":[28],"significantly":[29,146],"impeded":[30],"by":[31],"growing":[33],"concerns":[34],"over":[35],"safety":[37,60],"these":[39],"NN-controlled":[40],"systems":[41],"(NNCSs).":[42],"In":[43],"this":[44],"work,":[45],"we":[46,119],"present":[47],"POLAR-Express,":[48],"an":[49,74,78],"efficient":[50],"and":[51,100,131,137,150,173],"precise":[52],"formal":[53],"reachability":[54,111],"analysis":[55],"tool":[56],"for":[57,109,142],"verifying":[58],"NNCSs.":[62],"POLAR-Express":[63,125,167,180],"uses":[64],"Taylor":[65],"model":[66],"(TM)":[67],"arithmetic":[68],"to":[69,76,87,126],"propagate":[70,127],"TMs":[71,128],"layer-by-layer":[72],"across":[73,133],"compute":[77],"overapproximation":[79],"NN.":[82],"It":[83],"can":[84],"be":[85],"applied":[86],"analyze":[88],"any":[89],"feedforward":[90],"NNs":[91],"with":[92,114,155],"continuous":[93],"activation":[94,102,135],"functions,":[95,136],"such":[96],"as":[97],"ReLU,":[98],"Sigmoid,":[99],"Tanh":[101],"functions":[103],"that":[104],"cover":[105],"common":[107,165],"benchmarks":[108],"NNCS":[110],"analysis.":[112,179],"Compared":[113],"its":[115],"earlier":[116],"prototype":[117],"POLAR,":[118],"develop":[120],"a":[121,161],"novel":[122],"approach":[123],"more":[129],"efficiently":[130],"precisely":[132],"ReLU":[134],"provide":[138],"parallel":[139],"computation":[140],"support":[141],"TM":[143],"propagation,":[144],"thus":[145],"improving":[147],"efficiency":[149,172],"scalability.":[151],"Across":[152],"comparison":[154],"six":[156],"other":[157],"state-of-the-art":[158],"tools":[159],"diverse":[162],"set":[163,178],"benchmarks,":[166],"achieves":[168],"best":[170],"verification":[171],"tightness":[174],"reachable":[177],"is":[181],"publicly":[182],"available":[183],"at":[184],"<uri":[185],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[186],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">https://github.com/ChaoHuang2018/POLAR_Tool</uri>":[187],".":[188]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}