The Benefits of SUSI: Safety Analysis of User System Interaction.

Morris F. Chudleigh J. N. Clare

Published in: SAFECOMP (1993)

Keyphrases

safety analysis
user system interaction
nuclear power plant
safety critical
symbolic model checking
control system
information retrieval
fault model
machine learning
user interface
partial observability
dynamic programming
embedded systems
formal specification