Keyword:conflict-driven diagnosis

Publications
Diagnosing Discrete Event Systems Using Nominal Models Only Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher and Louise Travé-Massuyès In:28th International Workshop on Principles of Diagnosis (DX'17)