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

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

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

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

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)