BFL: a Logic to Reason about Fault Trees.
Stefano M. NicolettiErnst Moritz HahnMariëlle StoelingaPublished in: DSN (2022)
Keyphrases
- decision trees
- fault detection
- classical logic
- modal logic
- logic programming
- fault diagnosis
- tree construction
- tree structure
- neural network
- digital circuits
- automated reasoning
- multi valued
- computational properties
- sound and complete axiomatization
- leaf nodes
- defeasible logic
- expressive power
- data sets
- predicate logic
- tree models
- fault models