Login / Signup
On the Phase-Space Dynamics of Systems of Spiking Neurons. II: Formal Analysis.
Arunava Banerjee
Published in:
Neural Comput. (2001)
Keyphrases
</>
formal analysis
phase space
dynamical systems
formal methods
spiking neurons
expert systems
complex systems
dynamic systems
chaotic systems
neural network
object recognition
model checking
dynamic model