Flygvapnet har precis lovat upp till 87 miljoner dollar till forskning om robotik och autonomi. Försvarsautonomi kräver verifierbar beräkning i grunden. Militära robotar utan bevis är en nationell sårbarhet.