publicações selecionadas Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas A Knowledge-Based Inspection Planner for Coordinate Measuring Machines
