Sign in
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems.
Saddek Bensalem
Chih-Hong Cheng
Wei Huang
Xiaowei Huang
Changshun Wu
Xingyu Zhao
Published in:
CoRR (2023)
Keyphrases
</>
safety critical
learning systems
learning algorithm
learning process
knowledge based systems
formal methods
information systems
expert systems
distributed systems
monitoring system
fault tolerant
embedded systems
safety analysis