Formal Development of Safe Automated Driving Using Differential Dynamic Logic.

Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian

Published in: IEEE Trans. Intell. Veh. (2023)

Keyphrases

dynamic logic
software engineering
semi automated
case study
development process
neural network
e learning
information processing
modal logic
fully automated