Sign in
Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems.
Rongjie Yan
Junjie Yang
Di Zhu
Kai Huang
Published in:
ICECCS (2018)
Keyphrases
</>
safety critical
formal methods
safety analysis
control system
embedded systems
case study
machine learning
design process
management system
open source
intelligent systems
agent architecture