Welcome to VASBoK

From Verification Body of Knowledge
Revision as of 14:26, 12 March 2022 by Signe (talk | contribs)
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.

VASBoK's 5 articles have been viewed times. <inputbox> type=fulltext break=no searchbuttonlabel=Search </inputbox>

About Verification Body of Knowledge | [[VASBoK:How_to_contribute|MediaWiki:Become an editor/en]]


Learn the basics

Verification in practice

Learn More