Per Year
- Spiking Neural Networks as Timed Automata (paper in proceedings) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
- Formal Validation of Neural Networks as Timed Automata (paper in proceedings) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto