L'Air Force ha appena impegnato fino a 87 milioni di dollari nella ricerca su robotica e autonomia. L'autonomia della difesa ha bisogno di calcoli verificabili al suo interno. I robot militari senza prove rappresentano una vulnerabilità nazionale.