Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification

21 April 2022

Papers citing "Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification"

6 / 6 papers shown

Title
SHIELD: Safety on Humanoids via CBFs In Expectation on Learned Dynamics Lizhi Yang Blake Werner Ryan K. Cosner David Fridovich-Keil Preston Culbertson Aaron D. Ames 12 0 0 16 May 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 2024
Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems Prithvi Akella Aaron D. Ames 17 0 0 07 Apr 2023
Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data Prithvi Akella Skylar X. Wei J. W. Burdick Aaron D. Ames 45 4 0 12 Dec 2022
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces Hanna Krasowski Prithvi Akella Aaron D. Ames Matthias Althoff 34 2 0 12 Dec 2022
Conformal Prediction for STL Runtime Verification Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 34 46 0 03 Nov 2022