This project focuses on developing a state-of-the-art safety verification framework for connected autonomous vehicles (CAV). Leveraging the connected automated vehicle platforms and the high-fidelity ...