Welcome to VASBoK
Jump to navigation
Jump to search
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.
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
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
- Join the IEEE Standards Development Working Group P2817
- Join the IEEE RAS Technical Committee on Verification of Autonomous Systems
- 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
- Education Working Group