StaticHS: A Variant of Reiter's Hitting Set Tree for Efficient Sequential Diagnosis.

Patrick Rodler Manuel Herold

Published in: SOCS (2018)

Keyphrases

multi dimensional
tree construction
neural network
nearest neighbor
logic programs
markov chain
tree structure
pruning strategy