Stability Verification of Neural Network Controllers using Mixed-Integer Programming.

Roland Schwan Colin N. Jones Daniel Kuhn

Published in: CoRR (2022)

Keyphrases

mixed integer programming
neural network
column generation
mixed integer
lot sizing
production planning
dantzig wolfe decomposition
unit commitment
lagrangian relaxation
genetic algorithm
linear programming
learning algorithm
reinforcement learning
multistage
linear program