English
Related papers

Related papers: Risk-sensitive safety specifications for stochasti…

200 papers

Conditional Value-at-Risk ($\mathrm{CV@R}$) is one of the most popular measures of risk, which has been recently considered as a performance criterion in supervised statistical learning, as it is related to desirable operational features in…

Machine Learning · Computer Science 2021-01-20 Dionysios S. Kalogerias

In decision-making problems such as the multi-armed bandit, an agent learns sequentially by optimizing a certain feedback. While the mean reward criterion has been extensively studied, other measures that reflect an aversion to adverse…

Machine Learning · Statistics 2023-03-28 Patrick Saux , Odalric-Ambrym Maillard

This paper tackles the risk averse multi-armed bandits problem when incurred losses are non-stationary. The conditional value-at-risk (CVaR) is used as the objective function. Two estimation methods are proposed for this objective function…

Machine Learning · Computer Science 2021-09-30 Leo Benac , Frédéric Godin

This paper proposes an important extension to Conditional Value-at-Risk (CoVaR), the popular systemic risk measure, and investigates its properties on the cryptocurrency market. The proposed Vulnerability-CoVaR (VCoVaR) is defined as the…

General Finance · Quantitative Finance 2022-03-22 Martin Waltz , Abhay Kumar Singh , Ostap Okhrin

The classical risk-neutral newsvendor problem is to decide the order quantity that maximises the expected profit. Some recent works have proposed an alternative model, in which the goal is to minimise the conditional value-at-risk (CVaR), a…

Optimization and Control · Mathematics 2023-08-29 Congzheng Liu , Wenqi Zhu

Risk measures for random vectors have been considered in multi-asset markets with transaction costs and financial networks in the literature. While the theory of set-valued risk measures provide an axiomatic framework for assigning to a…

Risk Management · Quantitative Finance 2024-07-25 Çağın Ararat , Zachary Feinstein

Temporal logics provide a formalism for expressing complex system specifications. A large body of literature has addressed the verification and the control synthesis problem for deterministic systems under such specifications. For…

Logic · Mathematics 2020-08-27 Lars Lindemann , George J. Pappas , Dimos V. Dimarogonas

Many systems contain latent variables that make their dynamics partially unidentifiable or cause distribution shifts in the observed statistics between offline and online data. However, existing control techniques often assume access to…

Systems and Control · Electrical Eng. & Systems 2025-06-24 Haoming Jing , Yorie Nakahira

In this paper, we introduce the rich classes of conditional distortion (CoD) risk measures and distortion risk contribution ($\Delta$CoD) measures as measures of systemic risk and analyze their properties and representations. The classes…

Risk Management · Quantitative Finance 2019-01-29 Jan Dhaene , Roger J. A. Laeven , Yiying Zhang

Control Barrier Functions (CBFs) have become a popular tool for enforcing set invariance in safety-critical control systems. While guaranteeing safety, most CBF approaches are myopic in the sense that they solve an optimization problem at…

Systems and Control · Electrical Eng. & Systems 2020-08-11 Max Cohen , Calin Belta

In this paper a class of single machine scheduling problems is considered. It is assumed that job processing times and due dates can be uncertain and they are specified in the form of discrete scenario set. A probability distribution in the…

Data Structures and Algorithms · Computer Science 2017-12-12 Adam Kasperski , Pawel Zielinski

We treat the problem of risk-aware control for stochastic shortest path (SSP) on Markov decision processes (MDP). Typically, expectation is considered for SSP, which however is oblivious to the incurred risk. We present an alternative view,…

Systems and Control · Electrical Eng. & Systems 2022-03-04 Tobias Meggendorfer

Safety performance evaluation is critical for developing and deploying connected and automated vehicles (CAVs). One prevailing way is to design testing scenarios using prior knowledge of CAVs, test CAVs in these scenarios, and then evaluate…

Systems and Control · Electrical Eng. & Systems 2024-02-08 Jingxuan Yang , Haowei Sun , Honglin He , Yi Zhang , Shuo Feng , Henry X. Liu

This paper aims to solve a safe reinforcement learning (RL) problem with risk measure-based constraints. As risk measures, such as conditional value at risk (CVaR), focus on the tail distribution of cost signals, constraining risk measures…

Machine Learning · Computer Science 2023-12-04 Dohyeong Kim , Songhwai Oh

This work addresses the problem of risk-sensitive control for nonlinear systems with imperfect state observations, extending results for the linear case. In particular, we derive an algorithm that can compute local solutions with…

Optimization and Control · Mathematics 2021-10-22 Bilal Hammoud , Armand Jordana , Ludovic Righetti

Safety in reinforcement learning (RL) is a key property in both training and execution in many domains such as autonomous driving or finance. In this paper, we formalize it with a constrained RL formulation in the distributional RL setting.…

Machine Learning · Computer Science 2021-03-01 Jianyi Zhang , Paul Weng

This paper proposes an algorithm to calculate the maximal probability of unsafety with respect to trajectories of a stochastic process and a hazard set. The unsafe probability estimation problem is cast as a primal-dual pair of…

Optimization and Control · Mathematics 2026-03-30 Jared Miller , Matteo Tacchi , Didier Henrion , Mario Sznaier

This paper studies optimization of Conditional Value-at-Risk (CVaR) for Markov Decision Processes (MDPs) with finite state and action sets. It introduces the Dynamically augmented CVaR (DCVaR) risk measure and provides an algorithm for its…

Optimization and Control · Mathematics 2026-03-12 Eugene A. Feinberg , Rui Ding

When fine-tuning pre-trained Language Models (LMs) to exhibit desired behaviors, maintaining control over risk is critical for ensuring both safety and trustworthiness. Most existing safety alignment methods, such as Safe RLHF and SACPO,…

Artificial Intelligence · Computer Science 2026-01-01 Lijun Zhang , Lin Li , Wei Wei , Yajie Qi , Huizhong Song , Jun Wang , Yaodong Yang , Jiye Liang

This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime. Conventional risk-aware control typically assumes that all specifications are predefined and remain…

Systems and Control · Electrical Eng. & Systems 2024-05-01 Maico H. W. Engelaar , Zengjie Zhang , Mircea Lazar , Sofie Haesaert