Utilizando monitores de verificação formal para conter algoritmos de inteligência artificial de forma segura.
Uma rede neural profunda pilota a aeronave com extrema agilidade. Concomitantemente, um programa matemático comprovado (Controlador de Segurança de Linha de Base) monitora todas as variáveis de voo (arfagem, rolamento, velocidade).
Se cálculos de alcance espacial projetarem que o comando de IA causará estol em 1,5 s, a chave Simplex em hardware assume o controle instantaneamente, executando manobra segura de subida.