{"id":"https://openalex.org/W7106692717","doi":"https://doi.org/10.48550/arxiv.2511.17781","title":"ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies","display_name":"ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies","publication_year":2025,"publication_date":"2025-11-21","ids":{"openalex":"https://openalex.org/W7106692717","doi":"https://doi.org/10.48550/arxiv.2511.17781"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2511.17781","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.17781","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2511.17781","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Sakano, Kristy","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sakano, Kristy","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"An, Jianyu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"An, Jianyu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Manocha, Dinesh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manocha, Dinesh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Xu, Huan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Huan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.616599977016449,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.616599977016449,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.14329999685287476,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.044599998742341995,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6798999905586243},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5773000121116638},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.5544000267982483},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.5332000255584717},{"id":"https://openalex.org/keywords/obstacle-avoidance","display_name":"Obstacle avoidance","score":0.5005999803543091},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4408999979496002},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.367900013923645}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6798999905586243},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6528000235557556},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5773000121116638},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.5544000267982483},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.5332000255584717},{"id":"https://openalex.org/C6683253","wikidata":"https://www.wikidata.org/wiki/Q7075535","display_name":"Obstacle avoidance","level":4,"score":0.5005999803543091},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.49900001287460327},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4408999979496002},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.367900013923645},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.35280001163482666},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.3431999981403351},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C2778835581","wikidata":"https://www.wikidata.org/wiki/Q2916098","display_name":"Autonomous robot","level":4,"score":0.3061999976634979},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.2913999855518341},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28760001063346863},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2858000099658966},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.2662999927997589},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C117619785","wikidata":"https://www.wikidata.org/wiki/Q6094414","display_name":"Iterative learning control","level":3,"score":0.26330000162124634},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2574000060558319},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2511.17781","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.17781","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2511.17781","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.17781","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,73],"present":[1],"a":[2,36,181,185],"novel,":[3],"regulator-driven":[4],"approach":[5,38,114],"for":[6],"the":[7,70,175],"temporal":[8,47,117,199],"verification":[9,71],"of":[10,158,174],"black-box":[11,44],"autonomous":[12],"robot":[13,141,183],"policies,":[14],"inspired":[15],"by":[16,155],"real-world":[17,178],"certification":[18],"processes":[19],"where":[20],"regulators":[21],"often":[22],"evaluate":[23],"observable":[24],"behavior":[25,61],"without":[26],"access":[27],"to":[28,32,84,98],"model":[29,111],"internals.":[30],"Central":[31],"our":[33],"method":[34],"is":[35],"regulator-in-the-loop":[37],"that":[39],"evaluates":[40],"execution":[41],"traces":[42],"from":[43],"policies":[45],"against":[46],"safety":[48,118,200],"requirements.":[49,201],"These":[50],"requirements,":[51],"expressed":[52],"as":[53],"prioritized":[54],"Signal":[55],"Temporal":[56],"Logic":[57],"(STL)":[58],"specifications,":[59],"characterize":[60],"changes":[62],"over":[63],"time":[64],"and":[65,79,88,91,109,124,130,139,167,194],"encode":[66],"domain":[67],"knowledge":[68],"into":[69],"process.":[72],"use":[74],"Total":[75],"Robustness":[76,81,95],"Value":[77,82,96],"(TRV)":[78,166],"Largest":[80],"(LRV)":[83,171],"quantify":[85],"average":[86,100,157,164],"performance":[87,165],"worst-case":[89],"adherence,":[90],"introduce":[92],"Average":[93],"Violation":[94],"(AVRV)":[97],"measure":[99],"specification":[101],"violation.":[102],"Together,":[103],"these":[104],"metrics":[105],"guide":[106],"targeted":[107],"retraining":[108,151],"iterative":[110],"improvement.":[112],"Our":[113],"accommodates":[115],"diverse":[116],"requirements":[119],"(e.g.,":[120],"lane-keeping,":[121],"delayed":[122],"acceleration,":[123],"turn":[125],"smoothness),":[126],"capturing":[127],"persistence,":[128],"sequencing,":[129],"response":[131],"across":[132],"two":[133],"distinct":[134],"domains":[135],"(virtual":[136],"racing":[137],"game":[138],"mobile":[140],"navigation).":[142],"Across":[143],"six":[144],"STL":[145],"specifications":[146],"in":[147,163,172,188],"both":[148],"scenarios,":[149],"regulator-guided":[150],"increased":[152],"satisfaction":[153],"rates":[154],"an":[156],"43.8%,":[159],"with":[160,197],"consistent":[161],"improvement":[162,187],"reduced":[168],"violation":[169],"severity":[170],"half":[173],"specifications.":[176],"Finally,":[177],"validation":[179],"on":[180],"TurtleBot3":[182],"demonstrates":[184],"27%":[186],"smooth-navigation":[189],"satisfaction,":[190],"yielding":[191],"smoother":[192],"paths":[193],"stronger":[195],"compliance":[196],"STL-defined":[198]},"counts_by_year":[],"updated_date":"2026-03-07T13:37:22.277990","created_date":"2025-11-27T00:00:00"}