Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
 
(12 intermediate revisions by 4 users not shown)
Line 16: Line 16:


<gallery>
<gallery>
File:Example.png|[[Portal:Verification|What is Verification?]]
File:Question.png|[[Portal:Verification|What is Verification?]]
File:GraduationCap.png|[[Portal:Tutorials|Tutorials]]
File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]
File:Books.png|[[Portal:Sources|Sources]]
File:Books2.png|[[Portal:Sources|Sources]]
File:Example.png|[[Portal:People|People]]
File:People.png|[[Portal:People|People]]
File:Hammer.png|[[Portal:Tools|Tools and Processes]]
File:Hammer2.png|[[Portal:Tools|Tools and Processes]]
File:Example.png|[[Portal:Glossary|Glossary]]
File:Glossary.png|[[Portal:Glossary|Glossary]]
File:Events.png|[[Portal:Events|Events]]
File:Events.png|[[Portal:Events|Events]]
</gallery>
</gallery>
Line 40: Line 40:
* [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (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
* [[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