72 citations · 73 across the 4 of their papers we have counts for
4 papers
PAC-Bayesian Optimal Control with Stability and Generalization Guarantees
Mahrokh Ghoddousi Boroujeni, Clara Lucía Galimberti, Andreas Krause +1
Stochastic Nonlinear Optimal Control (SNOC) seeks to minimize a cost function that accounts for random disturbances acting on a nonlinear dynamical system. Since the expectation ov…
A PAC-Bayesian Framework for Optimal Control with Stability Guarantees
Mahrokh Ghoddousi Boroujeni, Clara Lucía Galimberti, Andreas Krause +1
Stochastic Nonlinear Optimal Control (SNOC) involves minimizing a cost function that averages out the random uncertainties affecting the dynamics of nonlinear systems. For tractabi…
Personalized Federated Learning of Probabilistic Models: A PAC-Bayesian Approach
Mahrokh Ghoddousi Boroujeni, Andreas Krause, Giancarlo Ferrari Trecate
Federated Learning (FL) aims to infer a shared model from private and decentralized data stored by multiple clients. Personalized FL (PFL) enhances the model's fit for each client…
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher +1
The safety of mobile robots in dynamic environments is predicated on making sure that they do not collide with obstacles. In support of such safety arguments, we analyze and formal…