Safety Proofs for Automated Driving using Formal Methods In Department of Electrical Engineering Chalmers . Vol. doctor of philosophy. Sweden: University of Technology Gothenburg, 2022.