Không quân vừa cam kết lên tới 87 triệu đô la cho nghiên cứu về robot và tự động hóa. Tự động hóa quốc phòng cần có tính toán có thể xác minh ở cốt lõi. Robot quân sự mà không có bằng chứng là một điểm yếu quốc gia.