DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis.

Published in: Inf. Sci. (2023)

Keyphrases

small number
hierarchical structure
data structure

tree structure
knowledge base

fault diagnosis
fixed point

spanning tree
initial state