v1v2 (latest)

Verification of Markov Decision Processes with Risk-Sensitive Measures

28 February 2018

Ufuk Topcu

Papers citing "Verification of Markov Decision Processes with Risk-Sensitive Measures"

2 / 2 papers shown

Title
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification Prithvi Akella Anushri Dixit M. Ahmadi Lars Lindemann Margaret P. Chapman George J. Pappas Aaron D. Ames J. W. Burdick 228 6 0 27 Mar 2024
Reinforcement Learning Beyond Expectation Bhaskar Ramasubramanian Luyao Niu Andrew Clark Radha Poovendran 25 6 0 29 Mar 2021