Medeiros, F., Shiguemori, E., Monteiro, M., Domiciano, M., & Martins, M. (2007). Automatic Verification of Collision Situations in the Navigation of Unmanned Aerial Vehicles. In Proceedings of the 6th National Meeting on Artificial Intelligence, (pp. 932-941). Porto Alegre: SBC.