Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. - Leonardo P. M. Santoro; Marcos Vicente Moreira; João Carlos Basilio; Oumar Diene (WODES, 2014)

Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. - Leonardo P. M. Santoro; Marcos Vicente Moreira; João Carlos Basilio (Autom., 2017)