Yuvaraj Selvaraj"Safety Proofs for Automated Driving using Formal Methods."Department of Electrical Engineering Chalmers doctor of philosophy(2022):