Contingent Scaffolding for System Safety Analysis.

Paul S. Brown Anthony G. Cohn Glen Hart Vania Dimitrova

Published in: AIED (2) (2020)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
fault model
symbolic model checking
learning environment
multi agent
reliability analysis
artificial intelligence
orders of magnitude
agent architecture
formal methods