Welcome to VASBoK
Jump to navigation
Jump to search
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 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 | [[VASBoK:How_to_contribute|MediaWiki:Become an editor/en]] |
---|
Learn the basics
- 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 verification of autonomous systems (from the Verification of Autonomous Systems Working Group)