“Formal methods-based motion planning for autonomous driving” by Jana Tumova of KTH

In this video

You might be interested in