Medeiros, Felipe Leonardo, Elcio Hideiti Shiguemori, Marcus Vinicius Teixeira Monteiro, Marco Antônio Pizani Domiciano, and Mauricio Pozzobom Martins. " Verificação Automática de Situações de Colisão na Navegação de Veículos Aéreos Não Tripulados." Anais do VI Encontro Nacional de Inteligência Artificial, Rio de Janeiro/RJ, 2007. SBC, 2007, pp.932-941.