Monitoring of MTL specifications with IBM's spiking-neuron model.

Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Browse the full DATE paper archive.