SATISFIES

Holistic Synthesis and Verification for Safe and Secure Autonomous Vehicles

(2024 - 2026)

Project manager: Dr. Rong Gu