Login / Signup
Cédric Girard Riboulleau
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Automated Verification
Reactive Systems
Spiking Neural Networks
Computation Tree Logic
Top Venues
BIOINFORMATICS
</>
Publications
</>
Elisabetta De Maria
,
Daniel Gaffé
,
Cédric Girard Riboulleau
,
Annie Ressouche
A Model-checking Approach to Reduce Spiking Neural Networks.
BIOINFORMATICS
(2018)