Sign in

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

Jonas KrookYuvaraj SelvarajWolfgang AhrendtMartin 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