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