Parallelized Hitting Set Computation for Model-Based Diagnosis.

Dietmar Jannach Thomas Schmitz Kostyantyn M. Shchekotykhin

Published in: AAAI (2015)

Keyphrases

model based diagnosis
dynamic systems
diagnostic reasoning
repair actions