activity
20092023
most citedConic Programming Reformulations of Two-Stage Distributionally Robust Linear Programs over Wasserstein Balls

220 citations · 724 across the 45 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2022★ 2 cited

Stability Verification of Neural Network Controllers using Mixed-Integer Programming

Roland Schwan, Colin N. Jones, Daniel Kuhn

We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP) representable control policies. This framework compares a fixed candidate policy, w…