Skip navigation

Buscar por Materia Sistemas Multi-Robô

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 3 de 3
Fecha de publicaciónData de defesaTítuloAutor(es)Orientador(es)Coorientador(es):
13-ago-202431-ene-2023Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAALGalvão, Danilo José BispoRodrigues, Genaína Nunes-
5-mar-202628-nov-2025Assured mission adaptation of multi-robot systemsMoraes, Vicente Romeiro deRodrigues, Genaína Nunes-
28-feb-2023-Mission specification and decomposition for multi-robot systemsGil, Eric Bernd; Rodrigues, Genaína Nunes; Pelliccione, Patrizio; Calinescu, Radu--