<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://robotistry.org/vasbok/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=DejaniraAI</id>
	<title>Verification Body of Knowledge - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://robotistry.org/vasbok/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=DejaniraAI"/>
	<link rel="alternate" type="text/html" href="https://robotistry.org/vasbok/index.php/Special:Contributions/DejaniraAI"/>
	<updated>2026-10-23T10:49:14Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.37.1</generator>
	<entry>
		<id>https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&amp;diff=19</id>
		<title>Welcome to VASBoK</title>
		<link rel="alternate" type="text/html" href="https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&amp;diff=19"/>
		<updated>2022-03-22T13:12:48Z</updated>

		<summary type="html">&lt;p&gt;DejaniraAI: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;The Verification of Autonomous Systems Body of Knowledge ([[VAS-Wiki]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&amp;#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.&lt;br /&gt;
&lt;br /&gt;
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. &lt;br /&gt;
&lt;br /&gt;
{| id=&amp;quot;searchtable&amp;quot; class=&amp;quot;wikitable&amp;quot; style=&amp;quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&amp;quot;&lt;br /&gt;
|+&amp;#039;&amp;#039;VASBoK&amp;#039;s {{NUMBEROFARTICLES}} articles have been viewed &amp;lt;span class = &amp;quot;totalnumberofviews&amp;quot;&amp;gt;&amp;lt;/span&amp;gt; times.&amp;#039;&amp;#039;&lt;br /&gt;
&amp;lt;!-- !&amp;lt;inputbox&amp;gt;&lt;br /&gt;
type=fulltext&lt;br /&gt;
break=no&lt;br /&gt;
searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}&lt;br /&gt;
&amp;lt;/inputbox&amp;gt; --&amp;gt;&lt;br /&gt;
|-&lt;br /&gt;
!&lt;br /&gt;
&amp;lt;big&amp;gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&amp;lt;/big&amp;gt;&lt;br /&gt;
|}&lt;br /&gt;
&lt;br /&gt;
&amp;lt;gallery&amp;gt;&lt;br /&gt;
File:VASWGLogo.png|[[Portal:Verification|What is Verification?]]&lt;br /&gt;
File:VASWGLogo.png|[[Portal:Tutorials|Tutorials]]&lt;br /&gt;
File:VASWGLogo.png|[[Portal:Sources|Sources]]&lt;br /&gt;
File:VASWGLogo.png|[[Portal:People|People]]&lt;br /&gt;
File:VASWGLogo.png|[[Portal:Tools|Tools]]&lt;br /&gt;
File:VASWGLogo.png|[[Portal:Glossary|Glossary]]&lt;br /&gt;
File:VASWGLogo.png|[[Portal:Events|Events]]&lt;br /&gt;
&amp;lt;/gallery&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Learn the basics ==&lt;br /&gt;
* [[Definitions]]&lt;br /&gt;
* [[Primer for researchers]]&lt;br /&gt;
* [[Primer for certification and licensing agencies]]&lt;br /&gt;
* [[Primer for robot developers]]&lt;br /&gt;
* [[Primer for autonomous behavior designers]]&lt;br /&gt;
* [[Primer for artificial intelligence specialists]]&lt;br /&gt;
&lt;br /&gt;
== Verification in practice ==&lt;br /&gt;
* [[Best practices for xxx]]&lt;br /&gt;
* [[Guide for yyy]]&lt;br /&gt;
&lt;br /&gt;
== Learn More ==&lt;br /&gt;
* [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)&lt;br /&gt;
* [[History]] of Verification of Autonomous Systems&lt;br /&gt;
&lt;br /&gt;
[[Category:VASBoK navigation]]&lt;/div&gt;</summary>
		<author><name>DejaniraAI</name></author>
	</entry>
</feed>