Copertina

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Kishida, Masako
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning Artificial Intelligence Systems and Control Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
di: Kishida, Masako
Pubblicazione: (2023)

Statistical Robustness of Interval CVaR Based Regression Models under Perturbation and Contamination
di: You, Yulei, et al.
Pubblicazione: (2026)

Differentiable Distributionally Robust Optimization Layers
di: Ma, Xutao, et al.
Pubblicazione: (2024)

Autonomous Sparse Mean-CVaR Portfolio Optimization
di: Lin, Yizun, et al.
Pubblicazione: (2024)

CVaR-Based Variational Quantum Optimization for User Association in Handoff-Aware Vehicular Networks
di: Yan, Zijiang, et al.
Pubblicazione: (2025)

A Simple Mixture Policy Parameterization for Improving Sample Efficiency of CVaR Optimization
di: Luo, Yudong, et al.
Pubblicazione: (2024)

On the Convergence of Overparameterized Problems: Inherent Properties of the Compositional Structure of Neural Networks
di: de Oliveira, Arthur Castello Branco, et al.
Pubblicazione: (2025)

A Riemannian Optimization Perspective of the Gauss-Newton Method for Feedforward Neural Networks
di: Cayci, Semih
Pubblicazione: (2024)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
di: Li, Haoyu, et al.
Pubblicazione: (2026)

Optimizing Inventory Routing: A Decision-Focused Learning Approach using Neural Networks
di: Islam, MD Shafikul, et al.
Pubblicazione: (2023)

Asynchronous Distributed Reinforcement Learning for LQR Control via Zeroth-Order Block Coordinate Descent
di: Jing, Gangshan, et al.
Pubblicazione: (2021)

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
di: Tsukamoto, Hiroyasu, et al.
Pubblicazione: (2022)

Approximate Information States for Worst-Case Control and Learning in Uncertain Systems
di: Dave, Aditya, et al.
Pubblicazione: (2023)

Distributed Optimization via Energy Conservation Laws in Dilated Coordinates
di: Baranwal, Mayank, et al.
Pubblicazione: (2024)

Optimal Control Operator Perspective and a Neural Adaptive Spectral Method
di: Feng, Mingquan, et al.
Pubblicazione: (2024)

Lyapunov Function Consistent Adaptive Network Signal Control with Back Pressure and Reinforcement Learning
di: Ma, Chaolun, et al.
Pubblicazione: (2022)

Fitted Q-Iteration via Max-Plus-Linear Approximation
di: Liu, Y., et al.
Pubblicazione: (2024)

CORL: Reinforcement Learning of MILP Policies Solved via Branch and Bound
di: Anand, Akhil S, et al.
Pubblicazione: (2025)

Hereditary Geometric Meta-RL: Nonlocal Generalization via Task Symmetries
di: Nitschke, Paul, et al.
Pubblicazione: (2026)

Multi-Year Maintenance Planning for Large-Scale Infrastructure Systems: A Novel Network Deep Q-Learning Approach
di: Fard, Amir, et al.
Pubblicazione: (2025)

Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning
di: Li, Jingqi, et al.
Pubblicazione: (2022)

Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods
di: Evans, Adam, et al.
Pubblicazione: (2026)

Benchmarking Reinforcement Learning via Stochastic Converse Optimality: Generating Systems with Known Optimal Policies
di: Ibrahim, Sinan, et al.
Pubblicazione: (2026)

Local Linearity of LLMs Enables Activation Steering via Model-Based Linear Optimal Control
di: Skifstad, Julian, et al.
Pubblicazione: (2026)

DiscoverDCP: A Data-Driven Approach for Construction of Disciplined Convex Programs via Symbolic Regression
di: Myhre, Sveinung
Pubblicazione: (2025)

Adaptive Neural-Operator Backstepping Control of a Benchmark Hyperbolic PDE
di: Lamarque, Maxence, et al.
Pubblicazione: (2024)

Gain Scheduling with a Neural Operator for a Transport PDE with Nonlinear Recirculation
di: Lamarque, Maxence, et al.
Pubblicazione: (2024)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
di: Shen, Keyi, et al.
Pubblicazione: (2026)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
di: Liu, Jun, et al.
Pubblicazione: (2023)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
di: Yang, Lujie, et al.
Pubblicazione: (2024)

Safety-Aware Reinforcement Learning for Electric Vehicle Charging Station Management in Distribution Network
di: Fan, Jiarong, et al.
Pubblicazione: (2024)

Action Dependency Graphs for Globally Optimal Coordinated Reinforcement Learning
di: Ding, Jianglin, et al.
Pubblicazione: (2025)

Achieving Tighter Finite-Time Rates for Heterogeneous Federated Stochastic Approximation under Markovian Sampling
di: Zhu, Feng, et al.
Pubblicazione: (2025)

Intersection of Reinforcement Learning and Bayesian Optimization for Intelligent Control of Industrial Processes: A Safe MPC-based DPG using Multi-Objective BO
di: Esfahani, Hossein Nejatbakhsh, et al.
Pubblicazione: (2025)

PGLearn -- An Open-Source Learning Toolkit for Optimal Power Flow
di: Klamkin, Michael, et al.
Pubblicazione: (2025)

gridfm-datakit-v1: A Python Library for Scalable and Realistic Power Flow and Optimal Power Flow Data Generation
di: Puech, Alban, et al.
Pubblicazione: (2025)

From Automation to Autonomy in Smart Manufacturing: A Bayesian Optimization Framework for Modeling Multi-Objective Experimentation and Sequential Decision Making
di: Asru, Avijit Saha, et al.
Pubblicazione: (2025)

Hierarchical Deep Reinforcement Learning Framework for Multi-Year Asset Management Under Budget Constraints
di: Fard, Amir, et al.
Pubblicazione: (2025)

On the Hopf-Cole Transform for Control-affine Schrödinger Bridge
di: Teter, Alexis, et al.
Pubblicazione: (2025)

Data-Driven Exploration for a Class of Continuous-Time Indefinite Linear--Quadratic Reinforcement Learning Problems
di: Huang, Yilie, et al.
Pubblicazione: (2025)