Formal Validation of Neural Networks as Timed Automata

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01717598
Contributeur : Cinzia Di Giusto <>
Soumis le : lundi 26 février 2018 - 15:17:56
Dernière modification le : mardi 27 février 2018 - 01:14:08

Identifiants

Collections

Citation

Cinzia Di Giusto, Elisabetta De Maria, Giovanni Ciatto. Formal Validation of Neural Networks as Timed Automata. the 8th International Conference, Dec 2017, Nha Trang City, France. ACM Press, 〈10.1145/3156346.3156350〉. 〈hal-01717598〉

Partager

Métriques

Consultations de la notice

41