This is the site for the Verification of Autonomous Systems Working Group repository of challenges, gaps, tools, and terminology. It also holds workshop and meeting pages with publicly available content.
Content is owned by the author and defaults to CC-BY unless otherwise marked.
This site is not responsible for resolving disputes between content owners and site contributors and will not pay licensing fees for content; payment is the responsibility of the contributor.
Comments and content are owned by the author in their unofficial capacity.