The Use of Automated Theory Formation in Support of Hazard Analysis.

Andrew Ireland Maria Teresa Llano Simon Colton

Published in: NFM (2018)

Keyphrases

automated analysis
data analysis
real world
data mining
decision making
multiscale
search algorithm
end users
statistical analysis
theoretical framework
risk assessment
formal theory
manual inspection