Safety Proofs for Automated Driving using Formal Methods
Source:
Department of Electrical Engineering Chalmers ,Volume: doctor of philosophy,
(2022)
Publisher:
University of Technology Gothenburg1
Views
Information & Security: An International Journal
28,
no. 2
(2012):
223-235.