Públio M. M. Lima

According to our database, Públio M. M. Lima authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

A Case Study in Recovery of Drones using Discrete-Event Systems.

Liam P. Burns, Dayse M. Cavalcanti, Felipe G. Cabral, Max Hering de Queiroz, Melissa Greeff, Públio M. M. Lima, Karen Rudie

CoRR, April, 2026

2025

Polynomial Time Verification of Decentralized State-Based Transparency.

Patrícia C. Mayer, Felipe G. Cabral, Públio M. M. Lima, Marcos V. Moreira

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024

Property-Based Transparency: a New Utility Definition.

Patrícia C. Mayer, Felipe G. Cabral, Públio M. M. Lima, Marcos V. Moreira, Audine Subias, Yannick Pencolé

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024