Welcome to VASBoK
Revision as of 14:22, 12 March 2022 by Signe (talk | contribs) (Created page with "The Verification of Autonomous Systems Body of Knowledge VASBoK is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]'s [https://www.ieee-ras.org/verification-of-autonomous-systems 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 ac...")
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.
| <inputbox>
type=fulltext break=no searchbuttonlabel=Search </inputbox> |
|---|
|
About Verification Body of Knowledge | [[VASBoK:How_to_contribute|MediaWiki:Become an editor/en]] |
- VASWGLogo.png
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)