Spiking neural networks modelled as timed automata: with parameter learning
DOI10.1007/s11047-019-09727-9zbMath1530.68086arXiv1808.01893MaRDI QIDQ6151163
Cinzia Di Giusto, Elisabetta De Maria, Laetitia Laversa
Publication date: 9 February 2024
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1808.01893
Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45) Neural biology (92C20) Neural networks for/in biological studies, artificial life and related topics (92B20) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cites Work
- Modelling and verification of weighted spiking neural systems
- High-dimensional switches and the modelling of cellular differentiation
- Negative circuits and sustained oscillations in asynchronous automata networks
- A theory of timed automata
- Error-backpropagation in temporally encoded networks of spiking neurons
- Large margin classification using the perceptron algorithm
- Parabolic Bursting in an Excitable System Coupled with a Slow Oscillation
- Spiking Neuron Models
- Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems
- Developments in Language Theory
- A logical calculus of the ideas immanent in nervous activity
- Approximation by superpositions of a sigmoidal function
This page was built for publication: Spiking neural networks modelled as timed automata: with parameter learning
