CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
21 mars 2023CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)
- CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
Michele ALBERTI (Laboratoire Sûreté des Logiciels)
Mots clés : alberti artificial caisar characterization clap cnrs gpl hifi intelligence laboratoire logiciels lvp michele properties surete trustworthiness verification
Informations
- Gricad Vidéos
- 4 avril 2023 15:14
- Conférences
- Français
Commentaire(s)