220 citations · 724 across the 45 of their papers we have counts for
5 papers · 1 filter
Distributionally Robust Optimal Allocation with Costly Verification
Halil İbrahim Bayrak, Çağıl Koçyiğit, Daniel Kuhn +1
We consider the mechanism design problem of a principal allocating a single good to one of several agents without monetary transfers. Each agent desires the good and uses it to cre…
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…
On Approximations of Data-Driven Chance Constrained Programs over Wasserstein Balls
Zhi Chen, Daniel Kuhn, Wolfram Wiesemann
Distributionally robust chance constrained programs minimize a deterministic cost function subject to the satisfaction of one or more safety conditions with high probability, given…
Metrizing Fairness
Yves Rychener, Bahar Taskesen, Daniel Kuhn
We study supervised learning problems that have significant effects on individuals from two demographic groups, and we seek predictors that are fair with respect to a group fairnes…
Discrete Optimal Transport with Independent Marginals is #P-Hard
Bahar Taşkesen, Soroosh Shafieezadeh-Abadeh, Daniel Kuhn +1
We study the computational complexity of the optimal transport problem that evaluates the Wasserstein distance between the distributions of two K-dimensional discrete random vector…