Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL

Não existem arquivos associados a este item.
Título: 

Autor(es) e Colaborador(es): 
Autor(es) Principais: 
Outros identificadores: 
Data: 
13-Ago-2024
13-Ago-2024
13-Ago-2024
30-Jan-2023
Tipo: 
Palavras-chave: 


Aparece nas coleções:Repositório Institucional – UNB