Hava Kuvvetleri, robotik ve özerklik araştırmalarına 87 milyon dolara kadar yatırım yaptı. Savunma özerkliği, temelde doğrulanabilir hesaplama gerektirir. Kanıtsız askeri robotlar ulusal bir zafiyettir.