30 citations · 57 across the 2 of their papers we have counts for
2 papers
cs.AI2014★ 30 cited
A Model-Based Active Testing Approach to Sequential Diagnosis
Alexander Feldman, Gregory Provan, Arjan van Gemund
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive moni…
cs.AI2014★ 27 cited
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Alexander Feldman, Gregory Provan, Arjan van Gemund
We propose a StochAstic Fault diagnosis AlgoRIthm, called SAFARI, which trades off guarantees of computing minimal diagnoses for computational efficiency. We empirically demonstrat…