Login / Signup
Traceable business-to-safety analysis framework for safety-critical machine learning systems.
Jati H. Husen
Hironori Washizaki
Hnin Thandar Tun
Nobukazu Yoshioka
Yoshiaki Fukazawa
Hironori Takeuchi
Published in:
CAIN (2022)
Keyphrases
</>
safety analysis
safety critical
machine learning systems
nuclear power plant
embedded systems
formal methods
agent architecture
symbolic model checking
decision making
support systems
control system
data mining
learning systems
real time
machine learning
knowledge representation
artificial intelligence
fault model