TY  - RPRT
TI  - Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification
AU  - Xi Zheng
AU  - Dulanga Weerakoon
AU  - Yintong Huo
AU  - Teresa Yeo
AU  - Guy Van Den Broeck
AU  - Vijay Ganesh
AU  - Daniel Neider
AU  - Biplav Srivastava
AU  - Ivan Ruchkin
AU  - Archan Misra
AU  - Corina Pasareanu
PY  - 2026
UR  - https://arxiv.org/abs/2606.03593
ID  - 2606.03593
ER  -