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

Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik

Browse the full MEMOCODE paper archive.