Med den stadig større rollen autonome systemer tar i den moderne verden, følger et stort fokus på verifisering av tilstrekkelig trygghet. Grundig verifisering av et autonomt system krever testing på alle nivåer av systemet, ...