Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
Line 42: Line 42:


== Opportunities to Participate ==
== Opportunities to Participate ==
* Link to IEEE Standards Development Working Group P2817
* Link to IEEE Standards Development Working Group P2817 [https://standards.ieee.org/ieee/2817/7644/]
* Link to IEEE TC-VAS Education Working Group
* Join the IEEE RAS Technical Committee on Verification of Autonomous Systems [https://www.ieee-ras.org/verification-of-autonomous-systems]
* Link to IEEE TC-VAS Roadmap Development Working Group
** 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]]

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

  • Link to IEEE Standards Development Working Group P2817 [1]
  • Join the IEEE RAS Technical Committee on Verification of Autonomous Systems [2]
    • 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