Formal Validation of Neural Networks as Timed Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Dates et versions

hal-01717598 , version 1 (26-02-2018)

Identifiants

Citer

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. ⟨10.1145/3156346.3156350⟩. ⟨hal-01717598⟩
78 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More