Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving