Welcome to VASBoK

The Verification of Autonomous Systems Body of Knowledge (VASBoK) is a project founded by the IEEE Robotics and Automation Society's Technical Committee for Verification of Autonomous Systems (TC-VAS) Education Working Group.

It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems.

VASBoK's 5 articles have been viewed times.

About Verification Body of Knowledge

---

• Vaslogo

  What is Verification?

Learn the basics

• Definitions
• Primer for researchers
• Primer for certification and licensing agencies
• Primer for robot developers
• Primer for autonomous behavior designers
• Primer for artificial intelligence specialists

Verification in practice

• Best practices for xxx
• Guide for yyy

Learn More

• More information and history on verification of autonomous systems (from the Verification of Autonomous Systems Working Group)