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