Manfred Morari
7 papers · 2019–2023 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Cross-Pollinator (8) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (24) π§ Keyword Pioneer
π
Conference Polyglot
(4)
π
Keyword Champion
π
Trend Setter
π
Conference Pioneer
Conferences
L4DC (4)
COLT (1)
CORL (1)
NIPS (1)
Top co-authors
Keywords
system identification
(2)
model predictive control
(2)
semidefinite programming
(1)
sample complexity
(1)
adversarial training
(1)
adaptive control
(1)
chance constraint
(1)
minimax lower bound
(1)
state estimation
(1)
mixed integer programming
(1)
linear quadratic regulator
(1)
distributionally robust optimization
(1)
neural network optimization
(1)
adversarial attack
(1)
convex optimization
(1)
neural network verification
(1)
online learning
(1)
model-based control
(1)
neural network robustness
(1)
certified robustness
(1)
Papers
Certified Invertibility in Neural Networks via Mixed-Integer Programming
L4DC 2023
Learning to Control Linear Systems can be Hard
COLT 2022
Adaptive Stochastic MPC under Unknown Noise Distribution
L4DC 2022
Learning solutions to hybrid control problems using Benders cuts
L4DC 2020
BayesRace: Learning to race autonomously using prior experience
CORL 2020
NeurOpt: Neural network based optimization for building energy management and climate control
L4DC 2020
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks
NIPS 2019