34 citations · 82 across the 45 of their papers we have counts for
3 papers · 1 filter
Risk-averse Learning with Non-Stationary Distributions
Siyi Wang, Zifan Wang, Xinlei Yi +3
Considering non-stationary environments in online optimization enables decision-maker to effectively adapt to changes and improve its performance over time. In such cases, it is fa…
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe
Panagiotis Vlantis, Leila J. Bridgeman, Michael M. Zavlanos
In this work, we consider the problem of learning a feed-forward neural network controller to safely steer an arbitrarily shaped planar robot in a compact and obstacle-occluded wor…
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
Shiqi Sun, Yan Zhang, Xusheng Luo +3
In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to fi…