Self-driving cars have fascinated the world for some time. However, a major question remains: how will people know whether to trust the software that runs all the autonomous behaviors? This project will deal with various optimization problems involved with verifying the safety of self-driving cars. The optimizations will deal with making the verification run faster and more efficiently. The biggest problem with verification is that it takes a very long time. This project will help shorten the time needed for verification.

I chose to participate in SuperUROP to gain a better understanding of what research is like and to learn more about my topic of autonomous cars. Through this project, I hope to not only acquire good research skills, but also learn a lot about what it means to do a full verification and about self-driving cars.