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.
