Strategic Objectives 1. Integrate the new techniques into a prototype tool-chain for simulation, verification and testing of learning-enabled systems. 2. Demonstrate the scalability and effectiveness of the new techniques in a challenging use case: autonomous vehicles operating in dense urban scenarios. 3. Validate the technology and socioeconomic impact of the FOCETA methodology and tool framework.