MEDEIROS, Felipe Leonardo Lôbo; 						SHIGUEMORI, Elcio Hideiti; 						MONTEIRO, Marcus Vinicius Teixeira; 						DOMICIANO, Marco Antônio Pizani; 						MARTINS, Mauricio Pozzobom.
 Verificação Automática de Situações de Colisão na Navegação de Veículos Aéreos Não Tripulados. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 6.	, 2007, Rio de Janeiro/RJ.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2007
.
 p. 932-941. 
			ISSN 2763-9061.