Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification

Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee +1

Spiking Neural Networks (SNNs) are a subclass of neuromorphic models that have great potential to be used as controllers in Cyber-Physical Systems (CPSs) due to their energy effici…