Login / Signup

Spiking neural P systems: matrix representation and formal verification.

Marian GheorgheRaluca LefticaruSavas KonurIonut-Mihai NiculescuHenry N. Adorna
Published in: J. Membr. Comput. (2021)
Keyphrases
  • formal verification
  • matrix representation
  • bio inspired
  • data sets
  • hebbian learning
  • automated verification
  • model checking
  • neural network
  • relational databases
  • linear combination
  • model checker
  • spike trains