![Theoretical Foundations of Computer Systems_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-03/Theoretical%20Foundations%20of%20Computer%20Systems_hi-res.png.jpg?itok=Xu9k2zci)
Abstract
Maching learning techniques can produce controllers that provide great scalability and high performance. Classical control synthesis, on the other hand, ensures worst-case guarantees. While both approached have their advantages, openness and uncertanty of the real world may lead to catastrophic system failures. In this talk, I will present a way to balance the trade-off between performance and formal guarantees.