Why We’re Here

The purpose of this site is to provide a place for robotics researchers interested in verification of autonomous systems to come together and work towards improved verification processes and better capturing of the challenges in the area.

How It Works

The main components of this site are the workshop and meeting pages with their associated presentations and meeting notes and the Terminology, Process, and Challenges & Tools wikis. Meeting and workshop notes are linked to from the Meetings & Notes menu.

The wikis are where we keep track of common terms and provide a repository for links to tools, links to challenges, and a space to begin creating a landscape or roadmap of challenges. Community members are able to read and edit the disucssion pages, contributing to the development of consensus definitions. An account is required to view the pages.

Other Activities

This group has spun off other activities:

• On the researcher side, we have submitted a proposal (currently under consideration by the IEEE) to form an IEEE Robotics and Automation Society (RAS) Technical Committee on Verification of Autonomous Systems.
• We have also been approved to form a study group through the IEEE Robotics and Automation Society's Industrial Activites Board (IAB) to work towards official IEEE Guidelines for Verification of Autonomous Systems (best practices) based on the VASWG conceptual model.

Links to Other Efforts

We also plan to provide connections to related efforts.

• University of York Assuring Autonomy International Programme