Felipe Leonardo Medeiros, Elcio Shiguemori, Marcus Vinicius Monteiro, Marco Antônio Domiciano, and Mauricio Martins. 2007.
 Verificação Automática de Situações de Colisão na Navegação de Veículos Aéreos Não Tripulados. In <em>Anais do VI Encontro Nacional de Inteligência Artificial</em>, junho 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 932-941.