Formal verification for safety evaluation of autonomous vehicles: an interview with Abdelrahman Sayed Sayed

Open in new window