Automatic Abstraction in Component-Based Diagnosis Driven by System Observability.

Gianluca Torta, Pietro Torasso

Browse the full IJCAI paper archive.