Login / Signup
Towards a general methodology for formal verification on spiking neural P systems.
Mario J. Pérez-Jiménez
Luis Valencia-Cabrera
David Orellana-Martín
Antonio Ramírez-de-Arellano
Published in:
Theor. Comput. Sci. (2024)
Keyphrases
</>
formal verification
special case
bio inspired
neural network
distributed systems
computer systems
trading systems
hebbian learning
basal ganglia
automated verification
management system
orders of magnitude
feed forward
single neuron