Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems

DOI10.1007/978-3-319-47151-8_7MaRDI QIDQ5204376zbMATH OpenOpenAlexFDO

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

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, https://rd.springer.com/content/pdf/10.1007%2F978-3-319-47151-8_7.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)

Recommendations

• Analysing neurobiological models using communicating automata
• Modelling and verification of weighted spiking neural systems
• Automated verification of stochastic spiking neural P systems
• Verification of linear-time temporal properties for reaction systems with discrete concentrations
• Computational Properties of Networks of Synchronous Groups of Spiking Neurons

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

Describes a project that uses

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)