Model-Based Diagnosis
nComputes at run-time
–Some recent MBD approaches compile
nMinimal conflicts and minimal diagnoses usually avoid exponential time and space.
nEvery system can be different.
n