Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Salvato in:
| Autore principale: | |
|---|---|
| Data di pubblicazione: | 2023 |
| Natura: | Master thesis |
| Lingua: | por |
| Fonte: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/49798 |
Riassunto: | Dissertação (Mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2023. |