{"id":"https://openalex.org/W3016340462","doi":"https://doi.org/10.1109/mra.2020.2981114","title":"Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations","display_name":"Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations","publication_year":2020,"publication_date":"2020-04-15","ids":{"openalex":"https://openalex.org/W3016340462","doi":"https://doi.org/10.1109/mra.2020.2981114","mag":"3016340462"},"language":"en","primary_location":{"id":"doi:10.1109/mra.2020.2981114","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mra.2020.2981114","pdf_url":null,"source":{"id":"https://openalex.org/S132261465","display_name":"IEEE Robotics & Automation Magazine","issn_l":"1070-9932","issn":["1070-9932","1558-223X"],"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 Robotics & Automation Magazine","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/A5014381337","display_name":"Esen Yel","orcid":"https://orcid.org/0000-0002-0463-3601"},"institutions":[{"id":"https://openalex.org/I4210116219","display_name":"Engineering Systems (United States)","ror":"https://ror.org/02qg60849","country_code":"US","type":"company","lineage":["https://openalex.org/I4210116219"]},{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Esen Yel","raw_affiliation_strings":["Department of Engineering Systems and Environment, University of Virginia, Charlottesville"],"raw_orcid":"https://orcid.org/0000-0002-0463-3601","affiliations":[{"raw_affiliation_string":"Department of Engineering Systems and Environment, University of Virginia, Charlottesville","institution_ids":["https://openalex.org/I4210116219","https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035357485","display_name":"Taylor J. Carpenter","orcid":"https://orcid.org/0000-0002-2397-871X"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor J. Carpenter","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001113179","display_name":"Carmelo Di Franco","orcid":"https://orcid.org/0000-0003-3518-8050"},"institutions":[{"id":"https://openalex.org/I4210116219","display_name":"Engineering Systems (United States)","ror":"https://ror.org/02qg60849","country_code":"US","type":"company","lineage":["https://openalex.org/I4210116219"]},{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carmelo Di Franco","raw_affiliation_strings":["Departments of Engineering Systems and Environment and Electrical and Computer Engineering, University of Virginia, Charlottesville"],"raw_orcid":"https://orcid.org/0000-0003-3518-8050","affiliations":[{"raw_affiliation_string":"Departments of Engineering Systems and Environment and Electrical and Computer Engineering, University of Virginia, Charlottesville","institution_ids":["https://openalex.org/I4210116219","https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068946140","display_name":"Radoslav Ivanov","orcid":"https://orcid.org/0000-0003-4987-4836"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Radoslav Ivanov","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia"],"raw_orcid":"https://orcid.org/0000-0003-4987-4836","affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014874021","display_name":"Yiannis Kantaros","orcid":"https://orcid.org/0000-0002-0257-7378"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yiannis Kantaros","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia"],"raw_orcid":"https://orcid.org/0000-0002-0257-7378","affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia"],"raw_orcid":"https://orcid.org/0000-0003-2672-1132","affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054356243","display_name":"James Weimer","orcid":"https://orcid.org/0000-0001-8167-9163"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Weimer","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia"],"raw_orcid":"https://orcid.org/0000-0001-8167-9163","affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091277504","display_name":"Nicola Bezzo","orcid":"https://orcid.org/0000-0001-6627-5048"},"institutions":[{"id":"https://openalex.org/I4210116219","display_name":"Engineering Systems (United States)","ror":"https://ror.org/02qg60849","country_code":"US","type":"company","lineage":["https://openalex.org/I4210116219"]},{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicola Bezzo","raw_affiliation_strings":["Departments of Engineering Systems and Environment and Electrical and Computer Engineering, University of Virginia, Charlottesville"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departments of Engineering Systems and Environment and Electrical and Computer Engineering, University of Virginia, Charlottesville","institution_ids":["https://openalex.org/I4210116219","https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4895,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.86141916,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"27","issue":"2","first_page":"102","last_page":"116"},"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.9955000281333923,"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.9955000281333923,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9926000237464905,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8725109696388245},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7743782997131348},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5306749939918518},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.5139829516410828},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5130699872970581},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49943017959594727},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4992556571960449},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37000685930252075},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3306320309638977},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32637250423431396},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09168991446495056}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8725109696388245},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7743782997131348},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5306749939918518},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.5139829516410828},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5130699872970581},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49943017959594727},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4992556571960449},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37000685930252075},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3306320309638977},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32637250423431396},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09168991446495056}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mra.2020.2981114","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mra.2020.2981114","pdf_url":null,"source":{"id":"https://openalex.org/S132261465","display_name":"IEEE Robotics & Automation Magazine","issn_l":"1070-9932","issn":["1070-9932","1558-223X"],"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 Robotics & Automation Magazine","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3345105982","display_name":null,"funder_award_id":"FA8750-18-C-0090","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"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":26,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W856973001","https://openalex.org/W1594344279","https://openalex.org/W1975236902","https://openalex.org/W2065894019","https://openalex.org/W2074027094","https://openalex.org/W2141292372","https://openalex.org/W2162991084","https://openalex.org/W2164090329","https://openalex.org/W2604410735","https://openalex.org/W2605268294","https://openalex.org/W2657631929","https://openalex.org/W2737223130","https://openalex.org/W2791796486","https://openalex.org/W2891541689","https://openalex.org/W2891736816","https://openalex.org/W2895120768","https://openalex.org/W2951930445","https://openalex.org/W2962822210","https://openalex.org/W2963286335","https://openalex.org/W2964040381","https://openalex.org/W2964130946","https://openalex.org/W4289542662","https://openalex.org/W6749649813","https://openalex.org/W6754990898","https://openalex.org/W6755219234"],"related_works":["https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W2950360254","https://openalex.org/W4375857205","https://openalex.org/W1563456403","https://openalex.org/W2006962382","https://openalex.org/W2106507440","https://openalex.org/W4252734721","https://openalex.org/W1522369122"],"abstract_inverted_index":{"Autonomous":[0],"systems":[1,33,60],"operating":[2],"in":[3],"uncertain":[4],"environments":[5],"under":[6],"the":[7],"effects":[8],"of":[9],"disturbances":[10],"and":[11,22,25],"noises":[12],"can":[13],"reach":[14],"unsafe":[15],"states":[16],"even":[17],"while":[18],"using":[19],"finetuned":[20],"controllers":[21],"precise":[23],"sensors":[24],"actuators.":[26],"To":[27],"provide":[28],"safety":[29],"guarantees":[30],"on":[31],"such":[32],"during":[34],"motion":[35],"planning":[36],"operations,":[37],"reachability":[38],"analysis":[39],"(RA)":[40],"has":[41],"been":[42],"demonstrated":[43],"to":[44,68],"be":[45],"a":[46],"powerful":[47],"tool.":[48],"RA,":[49],"however,":[50],"suffers":[51],"from":[52],"computational":[53],"complexity,":[54],"especially":[55],"when":[56],"dealing":[57],"with":[58],"intricate":[59],"characterized":[61],"by":[62],"high-order":[63],"dynamics,":[64],"making":[65],"it":[66],"hard":[67],"deploy":[69],"for":[70],"runtime":[71],"monitoring.":[72]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}