Autonomous Navigation of Multiple Robots using Supervisory Control Theory. - Jaime A. Dulce-Galindo; Marcelo Alves dos Santos; Guilherme V. Raffo; Patrícia N. Pena (ECC, 2019)

Enforcing State-Based Opacity using Synchronizing Automata. - Jaime A. Dulce-Galindo; Lucas V. R. Alves; Guilherme V. Raffo; Patrícia N. Pena (CDC, 2021)