Efficient Model-Based Diagnosis of Sequential Circuits.

Alexander Feldman Ingo Pill Franz Wotawa Ion Matei Johan de Kleer

Published in: AAAI (2020)

Keyphrases

model based diagnosis
digital circuits
fault models
diagnostic reasoning
model based reasoning
dynamic systems
physical systems
hardware designs
discrete event systems
expert systems
reasoning systems
consistency based diagnosis