TY  - RPRT
TI  - VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
AU  - Yunhao Yang
AU  - Neel P. Bhatt
AU  - Kevin Wang
AU  - Samuel Tetteh
AU  - Zhangyang Wang
AU  - Ufuk Topcu
PY  - 2026
UR  - https://arxiv.org/abs/2606.05395
ID  - 2606.05395
ER  -