Skip to Main content Skip to Navigation
Conference papers

Formal Validation of Neural Networks as Timed Automata

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01717598
Contributor : Cinzia Di Giusto <>
Submitted on : Monday, February 26, 2018 - 3:17:56 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:34 PM

Identifiers

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. ⟨10.1145/3156346.3156350⟩. ⟨hal-01717598⟩

Share

Metrics

Record views

141