Título do Trabalho: _Formalization of mobile robot tasks_
Orientadora: Professora Mariana Luderitz Kolberg
Coorientador: Professor Dr. Eric Goubault (École Polytechnique -
PARIS)
Banca: Professores Mariana Luderitz Kolberg, Edson Prestes e
Silva Junior, Rodrigo Machado
Data: 10/10/2022 às 10h45
Link: https://meet.google.com/xfs-wfai-xjz [3]