16 citations · 42 across the 14 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2024
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
Lakshmideepakreddy Manda, Shaoru Chen, Mahyar Fazlyab
Control Barrier Functions (CBFs) provide an elegant framework for constraining nonlinear control system dynamics to remain within an invariant subset of a designated safe set. Howe…
cs.LG2021★ 2 cited
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting
Shaoru Chen, Eric Wong, J. Zico Kolter +1
Analyzing the worst-case performance of deep neural networks against input perturbations amounts to solving a large-scale non-convex optimization problem, for which several past wo…