Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification
DGX agentarXiv:2606.03593v1 Announce Type: cross Abstract: Embodied AI systems are increasingly deployed in open-world environments, yet ensuring their reliability remains a fundamental challenge. Drawing on d