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

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Galvão, Danilo José Bispo
Rā whakaputa:	2023
Hōputu:	Master thesis
Reo:	por
Puna:	Repositório Institucional da UnB
Download full:	http://repositorio.unb.br/handle/10482/49798
Whakarāpopototanga:	Dissertação (Mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2023.

Ipurangi