Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice.

Alban Grastien, Patrik Haslum, Sylvie Thibaux

Browse the full KR paper archive.