@misc{indiciae4ac9b8bee45f,
  title = {Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification},
  author = {Xi Zheng and Dulanga Weerakoon and Yintong Huo and Teresa Yeo and Guy Van Den Broeck and Vijay Ganesh and Daniel Neider and Biplav Srivastava and Ivan Ruchkin and Archan Misra and Corina Pasareanu},
  year = {2026},
  url = {https://arxiv.org/abs/2606.03593},
  note = {Source identifier: 2606.03593}
}