72 citations · 73 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…