Difference between revisions of "Welcome to VASBoK"
Jump to navigation
Jump to search
(12 intermediate revisions by 4 users not shown) | |||
Line 16: | Line 16: | ||
<gallery> | <gallery> | ||
File: | File:Question.png|[[Portal:Verification|What is Verification?]] | ||
File: | File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]] | ||
File: | File:Books2.png|[[Portal:Sources|Sources]] | ||
File: | File:People.png|[[Portal:People|People]] | ||
File: | File:Hammer2.png|[[Portal:Tools|Tools and Processes]] | ||
File: | 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.
Learn the basics
- Definitions
- 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 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 IEEE Standards Development Working Group P2817
- Join the 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
- Education Working Group