Difference between revisions of "Welcome to VASBoK"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
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. | 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] (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. | 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. | ||
| 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 | ||
searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}} | searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}} | ||
</inputbox> | </inputbox> --> | ||
|- | |- | ||
! | ! | ||
<big>[[VASBoK:About|{{MediaWiki:aboutsite | <big>[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]</big> | ||
|} | |} | ||
| Line 18: | Line 18: | ||
File:../resources/assets/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> | ||
== Definitions == | |||
== Learn the basics == | == Learn the basics == | ||
Revision as of 14:33, 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 (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.
Definitions
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)