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:
AISoLA (2023)
Keyphrases
</>
safety critical
learning systems
formal methods
machine learning
learning algorithm
nuclear power plant
decision making
knowledge acquisition
knowledge based systems
model checking
fault tolerant
embedded systems
safety analysis