BFL: a Logic to Reason about Fault Trees.

Stefano M. Nicoletti Ernst Moritz Hahn Mariëlle Stoelinga

Published in: CoRR (2022)

Keyphrases

fault diagnosis
decision trees
modal logic
fault detection
classical logic
multi valued
machine learning
logic programming
tree models
asynchronous circuits
fault models
probability theory
nonmonotonic logics
tree automata
labeled trees