Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
(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...")
 
Line 5: Line 5:
{| id="searchtable" class="wikitable" style="margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;"
{| id="searchtable" class="wikitable" style="margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;"
|+''VASBoK's {{NUMBEROFARTICLES}} articles have been viewed <span class = "totalnumberofviews"></span> times.''
|+''VASBoK's {{NUMBEROFARTICLES}} articles have been viewed <span class = "totalnumberofviews"></span> times.''
!<inputbox>
<inputbox>
type=fulltext
type=fulltext
break=no
break=no
Line 16: Line 16:


----<gallery>
----<gallery>
File:VASWGLogo.png|link=Portal:Verification|[[Portal:Verification|What is Verification?]]
File:../resources/assets/VASWGLogo.png|link=Portal:Verification|[[Portal:Verification|What is Verification?]]
</gallery>
</gallery>


Line 33: Line 33:
* [https://robotistry.org/vaswg More information and history on verification of autonomous systems] (from the Verification of Autonomous Systems Working Group)
* [https://robotistry.org/vaswg More information and history on verification of autonomous systems] (from the Verification of Autonomous Systems Working Group)


[[Category:MEpedia navigation]]
[[Category:VASBoK navigation]]

Revision as of 14:26, 12 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 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