Video - Formal Methods and Optimal Control Techniques for Autonomous Vehicles