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