TY - THES
AU - Yuvaraj Selvaraj
BT - Department of Electrical Engineering Chalmers 
CY - Sweden
PB - University of Technology Gothenburg
PP - Sweden
PY - 2022
T2 - Department of Electrical Engineering Chalmers 
TI - Safety Proofs for Automated Driving using Formal Methods
VL - doctor of philosophy
ER -