{"id":"https://openalex.org/W7163402510","doi":"https://doi.org/10.48550/arxiv.2606.03593","title":"Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification","display_name":"Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification","publication_year":2026,"publication_date":"2026-06-02","ids":{"openalex":"https://openalex.org/W7163402510","doi":"https://doi.org/10.48550/arxiv.2606.03593"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.03593","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.03593","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.03593","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137727586","display_name":"Xi Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng, Xi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036394502","display_name":"Dulanga Weerakoon","orcid":"https://orcid.org/0000-0002-4637-955X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weerakoon, Dulanga","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080873193","display_name":"Yintong Huo","orcid":"https://orcid.org/0009-0006-8798-5667"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huo, Yintong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137791139","display_name":"Teresa Yeo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yeo, Teresa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009539513","display_name":"Guy Van den Broeck","orcid":"https://orcid.org/0000-0003-3434-2503"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Broeck, Guy Van Den","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137737866","display_name":"Vijay Ganesh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ganesh, Vijay","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064701353","display_name":"Daniel Neider","orcid":"https://orcid.org/0000-0001-9276-6342"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neider, Daniel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051577973","display_name":"Biplav Srivastava","orcid":"https://orcid.org/0000-0002-7292-3838"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Srivastava, Biplav","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021509994","display_name":"Ivan Ruchkin","orcid":"https://orcid.org/0000-0003-3546-414X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ruchkin, Ivan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054849647","display_name":"Archan Misra","orcid":"https://orcid.org/0000-0003-1212-1769"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Misra, Archan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5120371475","display_name":"Corina P\u0103s\u0103reanu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pasareanu, Corina","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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.7865999937057495,"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.7865999937057495,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.05719999969005585,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.04439999908208847,"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/embodied-cognition","display_name":"Embodied cognition","score":0.9063000082969666},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6653000116348267},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.6396999955177307},{"id":"https://openalex.org/keywords/trustworthiness","display_name":"Trustworthiness","score":0.6294999718666077},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.5946000218391418},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5033000111579895},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.40700000524520874},{"id":"https://openalex.org/keywords/foundation","display_name":"Foundation (evidence)","score":0.31290000677108765}],"concepts":[{"id":"https://openalex.org/C100609095","wikidata":"https://www.wikidata.org/wiki/Q1335050","display_name":"Embodied cognition","level":2,"score":0.9063000082969666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6933000087738037},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6653000116348267},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6396999955177307},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.6294999718666077},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.5946000218391418},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5033000111579895},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4115000069141388},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.40700000524520874},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4018000066280365},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.301800012588501},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3003000020980835},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.29280000925064087},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2768999934196472},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.2671000063419342},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.251800000667572}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.03593","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.03593","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.03593","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.03593","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":[{"display_name":"Responsible consumption and production","score":0.45634564757347107,"id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Embodied":[0,27],"AI":[1,28,42,150],"systems":[2,151],"are":[3],"increasingly":[4],"deployed":[5],"in":[6,40,158],"open-world":[7],"environments,":[8],"yet":[9],"ensuring":[10],"their":[11],"reliability":[12,39],"remains":[13],"a":[14,45,144],"fundamental":[15],"challenge.":[16],"Drawing":[17],"on":[18,25],"discussions":[19],"from":[20,50],"the":[21,138],"AAAI'26":[22],"Bridge":[23],"Program":[24],"\"Making":[26],"Reliable":[29],"with":[30],"Testing":[31],"and":[32,54,79,94,97,107,127,134,156],"Formal":[33],"Verification\",":[34],"this":[35],"article":[36],"argues":[37],"that":[38,123,152],"embodied":[41,69,149],"is":[43],"inherently":[44],"lifecycle":[46],"assurance":[47,100,121],"problem":[48],"arising":[49],"uncertainty,":[51],"human":[52],"interaction,":[53],"emergent":[55],"behaviors":[56],"across":[57,137],"tightly":[58],"coupled":[59],"system":[60,92,139],"components.":[61],"We":[62],"identify":[63],"three":[64],"complementary":[65],"directions":[66],"toward":[67],"reliable":[68],"AI:":[70],"(1)":[71],"trustworthy":[72,148],"scenario-based":[73],"testing":[74],"supported":[75],"by":[76,87],"validated":[77],"specifications":[78],"meaningful":[80],"coverage":[81],"metrics,":[82],"(2)":[83],"compositional":[84],"verification":[85],"enabled":[86],"structured":[88],"symbolic":[89],"representations":[90,133],"of":[91,103],"behavior":[93],"environmental":[95],"context,":[96],"(3)":[98],"runtime":[99,128],"mechanisms":[101],"capable":[102],"adapting":[104],"to":[105],"uncertainty":[106],"distribution":[108],"shifts":[109],"during":[110],"deployment.":[111],"Rather":[112],"than":[113],"treating":[114],"these":[115],"approaches":[116],"independently,":[117],"we":[118],"advocate":[119],"integrated":[120],"workflows":[122],"connect":[124],"testing,":[125],"verification,":[126],"adaptation":[129],"through":[130],"shared":[131],"neuro-symbolic":[132],"continuous":[135],"feedback":[136],"lifecycle.":[140],"Such":[141],"integration":[142],"provides":[143],"foundation":[145],"for":[146],"building":[147],"can":[153],"operate":[154],"safely":[155],"reliably":[157],"complex":[159],"real-world":[160],"environments.":[161]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-04T00:00:00"}