Assuring Safety-Critical Machine Learning Enabled Systems: Challenges and Promise.

Alwyn E. Goodloe

Published in: ISSRE Workshops (2022)

Keyphrases

safety critical
machine learning
formal methods
embedded systems
safety analysis
fault tolerant
learning systems
artificial intelligence
agent architecture
learning algorithm
nuclear power plant
decision support
support systems
information extraction
multi agent
reinforcement learning
software intensive systems