A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases.

Jonas Krook Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian

Published in: CoRR (2022)

Keyphrases

formal methods
safety critical
machine learning
case study
access control
knowledge based systems
formal specification
formal analysis
software engineering
model checking