Safety Proofs for Automated Driving using Formal Methods

Publication Type:

Thesis

Authors:

Yuvaraj Selvaraj

Source:

Department of Electrical Engineering Chalmers , University of Technology Gothenburg, Volume doctor of philosophy, Sweden (2022)
Share/Save