00295nas a2200097   4500000000100000008004100001260004800042100002100090245006100111490002500172       2022                            d  bUniversity of Technology GothenburgaSweden1 aYuvaraj Selvaraj00aSafety Proofs for Automated Driving using Formal Methods0 vdoctor of philosophy