co-author : Cinzia Di Giusto

2 publications with Giovanni Ciatto
page_white_acrobat Spiking Neural Networks as Timed Automata (ALP4IoT2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
page_white_acrobat Formal Validation of Neural Networks as Timed Automata (2017) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
[ Co-author Cloud  /  Giovanni Ciatto  /  publications ]