Search Results for author: Arjan van Gemund

Found 2 papers, 0 papers with code

A Model-Based Active Testing Approach to Sequential Diagnosis

no code implementations16 Jan 2014 Alexander Feldman, Gregory Provan, Arjan van Gemund

Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses.

Sequential Diagnosis

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

no code implementations16 Jan 2014 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.

Computational Efficiency

Cannot find the paper you are looking for? You can Submit a new open access paper.