Difference between revisions of "Welcome to VASBoK"
Jump to navigation
Jump to search
(Undo revision 60428 by TorriNutt7 (talk)) Tag: Undo |
|||
(3 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
[https:// | 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. | |||
{| 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.''--> | |||
<!-- !<inputbox> | |||
type=fulltext | |||
break=no | |||
searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}} | |||
</inputbox> --> | |||
|- | |||
! | |||
<big>[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]</big> | |||
|} | |||
<gallery> | |||
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> | |||
== 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 == | |||
* [[Best practices for xxx]] | |||
* [[Guide for yyy]] | |||
== Learn More == | |||
* [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]] |
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