Analysing neurobiological models using communicating automata

DOI10.1007/s00165-014-0294-yzbMath1342.92024OpenAlexW2089813709MaRDI QIDQ736844

Rodolfo Gomez, Li Su, Howard Bowman

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-014-0294-y

zbMATH Keywords

model checkingbackpropagationneuronal networksSPINcognitive neurosciencePROMELAvisual attentionAIcommunicating automataUppaalgeneralized recirculation algorithmplasticity-stability dilemma

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45) Neural networks for/in biological studies, artificial life and related topics (92B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Modelling and verification of weighted spiking neural systems

Uses Software

• LOTOS
• SPIN
• Uppaal

Cites Work

• A formal framework for viewpoint consistency
• Verification-guided modelling of salience and cognitive load
• Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
• Adaptive pattern classification and universal recoding. I: Parallel development and coding of neural feature detectors
• Symbolic model checking for real-time systems
• Global robust stability of delayed neural networks
• Formal Methods for the Design of Real-Time Systems
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item