Formal Validation of Neural Networks as Timed Automata

Type de document :
Communication dans un congrès
the 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ACM Press, 〈10.1145/3156346.3156350〉
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 : jeudi 22 novembre 2018 - 15:06:02

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

69