C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.
Johanna Nellen
Thomas Rambow
Md Tawhid Bin Waez
Erika Ábrahám
Joost-Pieter Katoen
Published in:
FM (2018)
Keyphrases
</>
technical challenges
formal verification
control system
neural network
probabilistic model
model selection
evaluation metrics
control algorithm
artificial intelligence
model checking
empirical data