Grastien, AlbanHaslum, PatrikThiebaux, Sylvie2015-12-07June 10-149781577355601http://hdl.handle.net/1885/27993We present a conflict-based approach to diagnosing Discrete Event Systems (DES) which generalises Reiter's Diagnose algorithm to a much broader class of problems. This approach obviates the need to explicitly reconstruct the system's behaviors that are co20122022-08-07