%0 Thesis
%B Department of Electrical Engineering Chalmers 
%C Sweden
%D 2022
%I University of Technology Gothenburg
%T Safety Proofs for Automated Driving using Formal Methods
%V doctor of philosophy