Login / Signup
Thomas Bertalan
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Dantzig Wolfe Decomposition
Mixed Integer Programming
Unit Commitment
Top Venues
CoRR
</>
Publications
</>
Tianqi Cui
,
Thomas Bertalan
,
George J. Pappas
,
Manfred Morari
,
Ioannis G. Kevrekidis
,
Mahyar Fazlyab
Certified Invertibility in Neural Networks via Mixed-Integer Programming.
CoRR
(2023)
Tianqi Cui
,
Thomas Bertalan
,
George J. Pappas
,
Manfred Morari
,
Yannis G. Kevrekidis
,
Mahyar Fazlyab
Certified Invertibility in Neural Networks via Mixed-Integer Programming.
L4DC
(2023)