Generalised verification of the observer property in discrete event systems. - Hugo J. Bravo; Antonio Eduardo Carrilho da Cunha; Patrícia Nascimento Pena; Robi Malik; José E. R. Cury (WODES, 2012)

Generalised Search for the Observer Property in Discrete Event Systems. - Hugo J. Bravo; Patrícia Nascimento Pena; Antonio Eduardo Carrilho da Cunha; Robi Malik; José E. R. Cury (WODES, 2014)

Verification of the Observer Property in Discrete Event Systems. - Patrícia N. Pena; Hugo J. Bravo; Antonio Eduardo Carrilho da Cunha; Robi Malik; Stéphane Lafortune; José E. R. Cury (IEEE Trans. Autom. Control., 2014)

Planning on Discrete Events Systems: A logical approach. - Lucas V. R. Alves; Hugo J. Bravo; Patrícia Nascimento Pena; Ricardo H. C. Takahashi (CASE, 2016)