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

zbMATH Keywords

neural networkstimed automatamodel checkingtemporal logicparameter learning

Mathematics Subject Classification ID

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