Evaluación de Robustez

Evaluación de Robustez Formal

Enfoque matemáticamente riguroso para verificar la robustez de un modelo demostrando garantías sobre todas las perturbaciones posibles en un dominio especificado. A diferencia de los métodos empíricos, la evaluación formal proporciona certezas absolutas pero es a menudo computacionalmente costosa.

← Volver