Sanity-Check: Boosting the Reliability of Safety-Critical Deep Neural Network Applications.
Elbruz OzenAlex OrailogluPublished in: ATS (2019)
Keyphrases
- safety critical
- neural network
- formal methods
- fault tolerant
- safety analysis
- agent architecture
- nuclear power plant
- embedded systems
- regulatory requirements
- real time
- support systems
- fuzzy logic
- artificial neural networks
- learning algorithm
- adaptive systems
- multi agent
- reliability analysis
- artificial intelligence
- machine learning