Morari, Manfred

7 publications

L4DC 2023 Certified Invertibility in Neural Networks via Mixed-Integer Programming Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis Kevrekidis, Mahyar Fazlyab
L4DC 2022 Adaptive Stochastic MPC Under Unknown Noise Distribution Charis Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas
COLT 2022 Learning to Control Linear Systems Can Be Hard Anastasios Tsiamis, Ingvar M Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas
CoRL 2020 BayesRace: Learning to Race Autonomously Using Prior Experience Achin Jain, Matthew O’Kelly, Pratik Chaudhari, Manfred Morari
L4DC 2020 Learning Solutions to Hybrid Control Problems Using Benders Cuts Sandeep Menta, Joseph Warrington, John Lygeros, Manfred Morari
L4DC 2020 NeurOpt: Neural Network Based Optimization for Building Energy Management and Climate Control Achin Jain, Francesco Smarra, Enrico Reticcioli, Alessandro D’Innocenzo, Manfred Morari
NeurIPS 2019 Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George Pappas