Jaime Arturo Dulce Galindo his Qualification Exam entitled “Fault-Tolerant Supervisory Control of Autonomous Vehicles Using the Concept of Opacity”, developed under Prof. Patrícia Pena’s supervision and Prof. Guilherme Raffo co-supervision. The committee was composed by the Prof. Patrícia Pena, Prof. Guilherme Raffo, Prof. André Leal, Prof. Luciano Pimenta, and Prof. […]