Formal Development of Safe Automated Driving Using Differential Dynamic Logic

Authors: Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

Published: 2022-09-06

DOI: 10.1109/tiv.2022.3204574

Source: Full article

Abstract

No abstract found.