Formal Verification Theory for AI-Driven Autonomous Defense Systems | Publicación