2 papers
cs.LG2025
Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
Masako Kishida
Ensuring the safety of neural networks under input uncertainty is a fundamental challenge in safety-critical applications. This paper builds on and expands Fazlyab's quadratic-cons…
math.OC2024
Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
Masako Kishida
This paper proposes control approaches for discrete-time linear systems subject to stochastic disturbances. It employs Kalman filter to estimate the mean and covariance of the stat…