A Força Aérea acabou de comprometer até 87 milhões de dólares para pesquisa em robótica e autonomia. A autonomia da defesa precisa de computação verificável no núcleo. Robôs militares sem provas são uma vulnerabilidade nacional.