Avaliação de Robustez

Avaliação Formal de Robustez

Abordagem matematicamente rigorosa para verificar a robustez de um modelo, provando garantias sobre todas as perturbações possíveis num domínio especificado. Ao contrário dos métodos empíricos, a avaliação formal fornece certezas absolutas, mas é frequentemente computacionalmente dispendiosa.

← Voltar