Formal Development of Safe Automated Driving using Differential Dynamic Logic.

Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian

Published in: CoRR (2022)

Keyphrases

dynamic logic
software engineering
knowledge based systems
information processing
fully automated
formal methods
reasoning about actions
imperative programs
neural network
case study
query language
design process
development process
formal model
formal descriptions