Login / Signup

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.

Johanna NellenThomas RambowMd Tawhid Bin WaezErika ÁbrahámJoost-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