Hugo J. Bravo

According to our database, Hugo J. Bravo authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Planning on Discrete Events Systems: A logical approach.

Lucas V. R. Alves, Hugo J. Bravo, Patrícia Nascimento Pena, Ricardo H. C. Takahashi

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

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

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

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2012

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

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012