@misc{indiciae72b9eb3c15c8,
  title = {VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents},
  author = {Yunhao Yang and Neel P. Bhatt and Kevin Wang and Samuel Tetteh and Zhangyang Wang and Ufuk Topcu},
  year = {2026},
  url = {https://arxiv.org/abs/2606.05395},
  note = {Source identifier: 2606.05395}
}