งานวิจัยนำเสนอ VASO (Formally Verifiable Self-Evolving Skills) ซึ่งเป็นระบบสำหรับสร้างและพัฒนาทักษะของหุ่นยนต์ (Physical AI Agents) โดยเน้นแก้ปัญหาเรื่องความเชื่อมั่นในทักษะที่สร้างจาก Foundation Models ซึ่งมักจะผ่านการทดสอบเพียงแค่การจำลองหรือเคสตัวอย่าง แต่ไม่ได้รับประกันความปลอดภัยในสภาวะที่ไม่ได้ทดสอบ
VASO ใช้ตัวตรวจสอบโมเดล (Model Checker) เพื่อคัดกรองสัญญาจ้างของทักษะ (Skill Contracts) ที่ขัดแย้งกันในเชิงตรรกะ และตรวจสอบว่าแผนงานที่หุ่นยนต์สร้างขึ้นนั้นเป็นไปตามข้อกำหนดความปลอดภัยด้านเวลาหรือไม่ หากการตรวจสอบล้มเหลว ระบบจะเปลี่ยนผลลัพธ์นั้นให้เป็นคำแนะนำสำหรับการปรับปรุงทักษะโดยไม่ต้องปรับแต่งพารามิเตอร์ของโมเดลพื้นฐาน (Frozen weights)
