Safety Proofs for Automated Driving using Formal Methods Вид публикации: Thesis Авторы: Yuvaraj Selvaraj Источник: Department of Electrical Engineering Chalmers , University of Technology Gothenburg, Volume doctor of philosophy, Sweden (2022)
