Angkatan Udara baru saja berkomitmen hingga $87 juta untuk penelitian robotika dan otonomi. Otonomi pertahanan membutuhkan komputasi yang dapat diverifikasi pada intinya. Robot militer tanpa bukti adalah kerentanan nasional.