Safety Proofs for Automated Driving using Formal Methods
Publication Type:
ThesisSource:
Department of Electrical Engineering Chalmers , University of Technology Gothenburg, Volume doctor of philosophy, Sweden (2022)- 1168 reads
- Google Scholar
- RTF
- EndNote XML
Last updated: Wednesday, 23 November 2022
Partner sites
