Beyond the Single Neuron Convex Barrier for Neural Network Certification.

Gagandeep Singh Rupanshu Ganvir Markus Püschel Martin T. Vechev

Published in: NeurIPS (2019)

Keyphrases

single neuron
neural network
control algorithm
activation function
spike trains
pid control
back propagation
feed forward
genetic algorithm
learning algorithm
control system
fuzzy control
pid controller
real time
learning rate
feedback control