collaborators

1 paper

cs.SE2026

Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification

Xi Zheng, Dulanga Weerakoon, Yintong Huo +8

Embodied AI systems are increasingly deployed in open-world environments, yet ensuring their reliability remains a fundamental challenge. Drawing on discussions from the AAAI'26 Br…