Welcome to VASBoK

The Verification of Autonomous Systems Body of Knowledge (VAS-BoK) 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.

About Verification Body of Knowledge

• 

  What is Verification?

• 

  Tutorials

• 

  Sources

• 

  People

• 

  Tools and Processes

• 

  Glossary

• 

  Events

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 the verification of autonomous systems working group (from the Verification of Autonomous Systems Working Group)
• History of Verification of Autonomous Systems

Opportunities to Participate

• Link to IEEE Standards Development Working Group P2817
• Link to IEEE TC-VAS Education Working Group
• Link to IEEE TC-VAS Roadmap Development Working Group