Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems

DOI10.1007/978-3-319-47151-8_7zbMATH Open1428.92008OpenAlexW2527059948MaRDI QIDQ5204376FDOQ5204376

Alexandre Muzy, F. Grammont, Daniel Gaffé, Elisabetta De Maria, Annie Ressouche

Publication date: 4 December 2019

Published in: Hybrid Systems Biology (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01377288/file/DMGRG16HSBfinal.pdf

zbMATH Keywords

temporal propertiessynchronous programming languageneuronal network archetypes

Mathematics Subject Classification ID

Neural networks for/in biological studies, artificial life and related topics (92B20) Software, source code, etc. for problems pertaining to biology (92-04) Computational methods for problems pertaining to biology (92-08)

Cited In (2)

• Spiking neural networks modelled as timed automata: with parameter learning
• SMT-based modeling and verification of spiking neural networks: a case study

Uses Software

• LUSTRE
• nuXmv
• Esterel

This page was built for publication: Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204376)