| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 13-Ago-2024 | 31-Jan-2023 | Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL | Galvão, Danilo José Bispo | Rodrigues, Genaína Nunes | - |
| 5-Mar-2026 | 28-Nov-2025 | Assured mission adaptation of multi-robot systems | Moraes, Vicente Romeiro de | Rodrigues, Genaína Nunes | - |
| 28-Fev-2023 | - | Mission specification and decomposition for multi-robot systems | Gil, Eric Bernd; Rodrigues, Genaína Nunes; Pelliccione, Patrizio; Calinescu, Radu | - | - |