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 [1]
• Join the IEEE RAS Technical Committee on Verification of Autonomous Systems [2]
  • Education Working Group
    • Contribution to the Book of Knowledge on Verification of Autonomous Systems
    • Organization of dedicated forums, e.g. schools and symposia
  • Roadmap Development Working Group