Analysing neurobiological models using communicating automata
type: Item
instance of: scholarly article
title: Analysing neurobiological models using communicating automata
zbMATH Open document ID: 1342.92024
author: Li Su
author: Rodolfo Gomez
author: Howard Bowman
published in: Formal Aspects of Computing
publication date: 2016-08-05T00:00:00Z
Mathematics Subject Classification ID: 92B20
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 6609480
zbMATH Keywords: neuronal networks
zbMATH Keywords: communicating automata
zbMATH Keywords: model checking
zbMATH Keywords: backpropagation
zbMATH Keywords: generalized recirculation algorithm
zbMATH Keywords: plasticity-stability dilemma
zbMATH Keywords: visual attention
zbMATH Keywords: cognitive neuroscience
zbMATH Keywords: AI
zbMATH Keywords: SPIN
zbMATH Keywords: PROMELA
zbMATH Keywords: Uppaal
describes a project that uses: LOTOS
describes a project that uses: SPIN
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: s00165-014-0294-y
OpenAlex ID: W2089813709
cites work: Global robust stability of delayed neural networks
cites work: Q4413672
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Q3169433
cites work: A formal framework for viewpoint consistency
cites work: Q5200808
cites work: Q2724177
cites work: Q4806970
cites work: Adaptive pattern classification and universal recoding. I: Parallel development and coding of neural feature detectors
cites work: Symbolic model checking for real-time systems
cites work: Q4857267
cites work: Q3141897
cites work: Q2780087
cites work: Q4706420
cites work: Verification-guided modelling of salience and cognitive load
cites work: Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
DOI: 10.1007/S00165-014-0294-Y
description: scientific article; zbMATH DE number 6609480