Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.

Jackson R. Mayo Robert C. Armstrong Geoffrey C. Hulette

Published in: FTSCS (2015)

Keyphrases

desirable properties
structural properties
data sets
decision trees
high level
metadata
bayesian networks
user interface
special case
probabilistic model