{"id":"https://openalex.org/W7165803430","doi":"https://doi.org/10.48550/arxiv.2606.23754","title":"Verifiable Foundation Models for Robot Safety","display_name":"Verifiable Foundation Models for Robot Safety","publication_year":2026,"publication_date":"2026-06-22","ids":{"openalex":"https://openalex.org/W7165803430","doi":"https://doi.org/10.48550/arxiv.2606.23754"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.23754","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23754","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.23754","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110796636","display_name":"Davide Corsi","orcid":"https://orcid.org/0000-0002-1908-4449"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Corsi, Davide","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139243570","display_name":"Kyungmin Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim, Kyungmin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139286441","display_name":"Roy Fox","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fox, Roy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T10653","display_name":"Robot Manipulation and Learning","score":0.5877000093460083,"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"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.5877000093460083,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.08420000225305557,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.0640999972820282,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5964999794960022},{"id":"https://openalex.org/keywords/workspace","display_name":"Workspace","score":0.5418000221252441},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5404999852180481},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4404999911785126},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.399399995803833},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.38519999384880066},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.37950000166893005},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.36230000853538513},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.3612000048160553}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6686000227928162},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5964999794960022},{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.5418000221252441},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5404999852180481},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4404999911785126},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.428600013256073},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.399399995803833},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.37950000166893005},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.36230000853538513},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.3612000048160553},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.3513000011444092},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.34950000047683716},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3370000123977661},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.33649998903274536},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3199999928474426},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.30559998750686646},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.2888000011444092},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.2768000066280365},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2653000056743622},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C65401140","wikidata":"https://www.wikidata.org/wiki/Q7353385","display_name":"Robot control","level":4,"score":0.25699999928474426},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C183322885","wikidata":"https://www.wikidata.org/wiki/Q17007702","display_name":"Context model","level":3,"score":0.2542000114917755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.23754","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23754","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.23754","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23754","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"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":{"Deploying":[0],"foundation":[1],"models":[2,21],"for":[3,31,66,148],"robot":[4,101],"control":[5],"raises":[6],"a":[7,45,52,61,73,88,196],"central":[8],"challenge:":[9],"the":[10,58,96,130,144,154,186,201],"expressive":[11,146],"power":[12,147],"that":[13,47,78,153,200],"enables":[14],"rich,":[15],"multimodal":[16],"perception":[17,68],"also":[18],"makes":[19,135],"these":[20,116],"opaque":[22],"and":[23,69,72,94,108,175],"difficult":[24],"to":[25,125,129,195],"analyze":[26],"formally,":[27],"rendering":[28],"them":[29],"intractable":[30],"existing":[32,140],"verification":[33,121],"tools.":[34],"In":[35],"this":[36,49],"paper,":[37],"we":[38,163],"present":[39],"FEARL":[40,56,165],"(Foundation-Enabled":[41],"Assured":[42],"Robot":[43],"Learning),":[44],"framework":[46],"addresses":[48],"tension":[50],"through":[51],"modular":[53],"architectural":[54],"decomposition.":[55],"separates":[57],"policy":[59,156,188],"into":[60],"large":[62],"Controller":[63,173],"(C)":[64],"responsible":[65],"high-dimensional":[67],"task":[70,149],"reasoning,":[71],"small":[74],"Safety":[75],"module":[76],"(S)":[77],"receives":[79],"low-dimensional":[80,202],"observations":[81],"from":[82,92,189],"dedicated":[83],"safety":[84,102,117,203],"sensors":[85],"together":[86],"with":[87,139],"bounded":[89],"context":[90],"embedding":[91],"C":[93],"produces":[95],"final":[97],"action.":[98],"Since":[99],"many":[100],"requirements,":[103],"such":[104],"as":[105],"collision":[106],"avoidance":[107],"workspace":[109],"boundary":[110],"constraints,":[111],"can":[112,122],"be":[113,123],"expressed":[114],"over":[115],"sensor":[118],"observations,":[119],"formal":[120,136],"applied":[124],"S":[126],"rather":[127],"than":[128],"full":[131],"foundation-model":[132],"backbone.":[133],"This":[134],"analysis":[137],"tractable":[138],"tools":[141],"while":[142],"preserving":[143],"Controller's":[145],"reasoning.":[150],"To":[151],"show":[152],"decomposed":[155],"remains":[157],"capable":[158],"of":[159,191],"solving":[160],"diverse":[161],"tasks,":[162],"evaluate":[164],"on":[166],"three":[167],"simulated":[168,193],"robotic":[169],"domains":[170],"using":[171],"multiple":[172],"backbones":[174],"training":[176],"procedures,":[177],"including":[178],"pretrained":[179],"off-the-shelf":[180],"vision-language-action":[181],"models.":[182],"We":[183],"further":[184],"transfer":[185],"learned":[187],"one":[190],"our":[192],"tasks":[194],"physical":[197],"robot,":[198],"suggesting":[199],"interface":[204],"supports":[205],"practical":[206],"sim-to-real":[207],"transfer.":[208]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-25T00:00:00"}