Login / Signup
Hugo J. Bravo
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Timed Petri Nets
Discrete Event
Complex Systems
Verification Method
Top Venues
WODES
CASE
IEEE Trans. Autom. Control.
</>
Publications
</>
Lucas V. R. Alves
,
Hugo J. Bravo
,
Patrícia Nascimento Pena
,
Ricardo H. C. Takahashi
Planning on Discrete Events Systems: A logical approach.
CASE
(2016)
Hugo J. Bravo
,
Patrícia Nascimento Pena
,
Antonio Eduardo Carrilho da Cunha
,
Robi Malik
,
José E. R. Cury
Generalised Search for the Observer Property in Discrete Event Systems.
WODES
(2014)
Patrícia N. Pena
,
Hugo J. Bravo
,
Antonio Eduardo Carrilho da Cunha
,
Robi Malik
,
Stéphane Lafortune
,
José E. R. Cury
Verification of the Observer Property in Discrete Event Systems.
IEEE Trans. Autom. Control.
59 (8) (2014)
Hugo J. Bravo
,
Antonio Eduardo Carrilho da Cunha
,
Patrícia Nascimento Pena
,
Robi Malik
,
José E. R. Cury
Generalised verification of the observer property in discrete event systems.
WODES
(2012)