Analyse de contre-exemples

Méthode d'exploration

Algorithme systématique pour découvrir efficacement des contre-exemples pertinents dans l'espace de haute dimension des caractéristiques du modèle.

← Volver