Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.
Ankit PradhanJonathan KingSrinivas PinisettyPartha S. RoopPublished in: IEEE Trans. Computers (2023)
Keyphrases
- spiking neural networks
- cyber physical systems
- cyber physical
- biologically inspired
- spiking neurons
- physical world
- feed forward
- cyber security
- learning rules
- neural network
- biologically plausible
- motor control
- artificial neural networks
- social networks
- low cost
- natural images
- human computer interaction
- embedded systems
- information systems