45 citations · 104 across the 5 of their papers we have counts for
Showing 2014 · cs.AIShow all
2 papers · 2 filters
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…