Yasmin Sarita

La certification des réseaux de neurones garantit leur sécurité et leur fiabilité dans des applications critiques.

Cet article présente un cadre pour analyser la terminaison des programmes avec une efficacité améliorée.