The Air Force is interested in this research area because it needs its autonomous systems to be able to execute high-level mission plans with verifiable assurances despite uncertain adversarial environments. In these contested environments, the integrity and availability of sensor information and communications are challenged, and key innovations are still needed to make tools that can operate with limited resources and also account for uncertainty and cyber security.