Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
 
(23 intermediate revisions by 6 users not shown)
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] (TC-VAS) Education Working Group.
The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) 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.  


{| 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
Line 16: Line 16:


<gallery>
<gallery>
File:VASWGLogo.png|[[Portal:Verification|What is Verification?]]
File:Question.png|[[Portal:Verification|What is Verification?]]
File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]
File:Books2.png|[[Portal:Sources|Sources]]
File:People.png|[[Portal:People|People]]
File:Hammer2.png|[[Portal:Tools|Tools and Processes]]
File:Glossary.png|[[Portal:Glossary|Glossary]]
File:Events.png|[[Portal:Events|Events]]
</gallery>
</gallery>


Line 32: Line 38:


== Learn More ==
== Learn More ==
* [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 the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)
* [[History]] of Verification of Autonomous Systems
 
== Opportunities to Participate ==
* Join the [https://standards.ieee.org/ieee/2817/7644/ IEEE Standards Development Working Group P2817]
* Join the [https://www.ieee-ras.org/verification-of-autonomous-systems IEEE RAS Technical Committee on Verification of Autonomous Systems]
** Education Working Group
*** Contribution to the Book of Knowledge on Verification of Autonomous Systems
*** Organization of dedicated forums, e.g. schools and symposia
** Roadmap Development Working Group


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

Latest revision as of 12:41, 4 October 2022

The Verification of Autonomous Systems Body of Knowledge (VAS-BoK) 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.

About Verification Body of Knowledge

Learn the basics

Verification in practice

Learn More

Opportunities to Participate