Difference between revisions of "Welcome to VASBoK"
Jump to navigation
Jump to search
(Added main topic areas - still working on getting the thumbnail images in the gallery to work properly.) |
|||
| Line 17: | Line 17: | ||
<gallery> | <gallery> | ||
File:VASWGLogo.png|[[Portal:Verification|What is Verification?]] | File:VASWGLogo.png|[[Portal:Verification|What is Verification?]] | ||
File:VASWGLogo.png|[[Portal:Tutorials|Tutorials]] | |||
File:VASWGLogo.png|[[Portal:Sources|Sources]] | |||
File:VASWGLogo.png|[[Portal:People|People]] | |||
File:VASWGLogo.png|[[Portal:Tools|Tools]] | |||
File:VASWGLogo.png|[[Portal:Glossary|Glossary]] | |||
File:VASWGLogo.png|[[Portal:Events|Events]] | |||
</gallery> | </gallery> | ||
Revision as of 12:46, 14 March 2022
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.
- VASWGLogo.png
- VASWGLogo.png
- VASWGLogo.png
- VASWGLogo.png
- VASWGLogo.png
- VASWGLogo.png
- VASWGLogo.png
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 verification of autonomous systems (from the Verification of Autonomous Systems Working Group)