A Basic Compositional Model for Spiking Neural Networks

Nancy Lynch, Cameron Musco

We present a formal, mathematical foundation for modeling and reasoning about the behavior of $synchronous$, $stochastic$ $Spiking$ $Neural$ $Networks$ $(SNNs)$, which have been wi…