Safety Proofs for Automated Driving using Formal Methods

Publication Type:

Thesis

Source:

Department of Electrical Engineering Chalmers , University of Technology Gothenburg, Volume doctor of philosophy, Sweden (2022)
Share/Save
Last updated: Wednesday, 23 November 2022