Safety Proofs for Automated Driving using Formal Methods Publication Type: Thesis Authors: Yuvaraj Selvaraj Source: Department of Electrical Engineering Chalmers , University of Technology Gothenburg, Volume doctor of philosophy, Sweden (2022)
