The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems.

Kunal Agrawal Sanjoy K. Baruah Alan Burns

Published in: ECRTS (2020)

Keyphrases

safety analysis
safety critical
nuclear power plant
formal methods
embedded systems
support systems
learning systems
learning algorithm
learning process
data mining
reinforcement learning
cooperative
management system
adaptive systems