Modelling and verification of weighted spiking neural systems
From MaRDI portal
Publication:264538
DOI10.1016/j.tcs.2015.11.005zbMath1336.68064OpenAlexW2122133822WikidataQ57936278 ScholiaQ57936278MaRDI QIDQ264538
Publication date: 31 March 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.11.005
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Formal verification of cP systems using Coq ⋮ SMT-based modeling and verification of spiking neural networks: a case study ⋮ Spiking neural networks modelled as timed automata: with parameter learning ⋮ Solving subset sum by spiking neural P systems with astrocytes producing calcium ⋮ Formal verification of cP systems using PAT3 and ProB
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Properties of enhanced mobile membranes via coloured Petri nets
- Verification of membrane systems with delays via Petri nets with delays
- Enhanced mobile membranes: computability results
- Analysing neurobiological models using communicating automata
- Tissue P systems.
- Computing with membranes
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- P transducers
- Translating Mobile Ambients into P Systems
- Describing the Immune System Using Enhanced Mobile Membranes
- Simple, Enhanced and Mutual Mobile Membranes
- Unconventional Computation
- Formal Methods for the Design of Real-Time Systems
- Lectures on Concurrency and Petri Nets
- Brane Calculi
This page was built for publication: Modelling and verification of weighted spiking neural systems
