@phdthesis{22957,
  author = {Yuvaraj Selvaraj},
  title = {Safety Proofs for Automated Driving using Formal Methods},
  year = {2022},
  journal = {Department of Electrical Engineering Chalmers },
  volume = {doctor of philosophy},
  publisher = {University of Technology Gothenburg},
  address = {Sweden},
}