GP

G. Provan

View Pure Profile

Authored

17 records found

The Lydia Approach to Combinational Model-Based Diagnosis

Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa

Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference

Generating Manifestations of Max-Fault Min-Cardinality Diagnoses

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

A Model-Based Active Testing Approach to Sequential Diagnosis

A framework and algorithm for model-based active testing

Automated Redesign with the General Redesign Engine

Automated Redesign with the General Redesign Engine

Computing minimal diagnoses by greedy stochastic search

Computing observation vectors for max-fault min-cardinality diagnoses

A framework and algorithm for model-based active testing

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

Exploring the Duality in Conflict-Directed Model-Based Diagnosis
Conference paper - R Stern, M Kalech, A.B. Feldman, G. Provan

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

FRACTAL: Efficient Fault Isolation Using Active Testing

Solving Strong-Fault Diagnostic Models by Model Relaxation