Our proposal on “Semantic Adversarial Analysis for Secure Critical Infrastructure” got accepted for funding from the C3.ai Digital Transformation Institute. In this proposal (with Sanjit A. Seshia – UC Berkeley), we will investigate new techniques for semantic adversarial analysis of learning-enabled cyber-physical systems to find vulnerabilities that impact the semantics of the overall system.