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