Understanding the properness of incorporating machine learning algorithms in safety-critical systems.
Mohamad GharibTommaso ZoppiAndrea BondavalliPublished in: SAC (2021)
Keyphrases
- machine learning algorithms
- safety critical
- benchmark data sets
- formal methods
- learning algorithm
- machine learning
- machine learning methods
- statistical machine learning
- machine learning approaches
- embedded systems
- safety analysis
- decision trees
- machine learning systems
- fault tolerant
- nuclear power plant
- machine learning models
- regulatory requirements
- knowledge based systems
- control system
- agent architecture
- management system
- active learning
- expert systems
- artificial intelligence
- data mining
- data sets