Cover Image

Distributionally Robust Safety Verification for Markov Decision Processes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mazumdar, Abhijit, Hou, Yuting, Wisniewski, Rafal
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data-Driven Robust Safety Verification for Markov Decision Processes
by: Mazumdar, Abhijit, et al.
Published: (2025)

Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time
by: Mazumdar, Abhijit, et al.
Published: (2024)

An Online Multiobjective Policy Gradient for Long-run Average-reward Markov Decision Process
by: Misra, Rahul, et al.
Published: (2025)

Learning Algorithms for Verification of Markov Decision Processes
by: Brázdil, Tomáš, et al.
Published: (2024)

Robust Correlated Equilibrium: Definition and Computation
by: Misra, Rahul, et al.
Published: (2023)

Operator Splitting for Convex Constrained Markov Decision Processes
by: Grontas, Panagiotis D., et al.
Published: (2024)

Convex Approximations of Random Constrained Markov Decision Processes
by: Varagapriya, V, et al.
Published: (2025)

Markov Decision Process Design: A Framework for Integrating Strategic and Operational Decisions
by: Brown, Seth, et al.
Published: (2023)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

Information-Theoretic Opacity-Enforcement in Markov Decision Processes
by: Shi, Chongyang, et al.
Published: (2024)

Bayesian Ambiguity Contraction-based Adaptive Robust Markov Decision Processes for Adversarial Surveillance Missions
by: Choi, Jimin, et al.
Published: (2025)

Intermittently Observable Markov Decision Processes
by: Chen, Gongpu, et al.
Published: (2023)

A Markov Decision Process Model for Intrusion Tolerance Problems
by: Kreidl, Patrick
Published: (2025)

Active Inference through Incentive Design in Markov Decision Processes
by: Wei, Xinyi, et al.
Published: (2025)

Continuous-Time Distributed Dynamic Programming for Networked Multi-Agent Markov Decision Processes
by: Lee, Donghwan, et al.
Published: (2023)

Online Parameter Estimation for Continuously Monitored Quantum Systems
by: Clausen, Henrik Glavind, et al.
Published: (2024)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Concentration of Cumulative Reward in Markov Decision Processes
by: Sayedana, Borna, et al.
Published: (2024)

Causal Temporal Reasoning for Markov Decision Processes
by: Kazemi, Milad, et al.
Published: (2022)

Bridging Impulse Control of Piecewise Deterministic Markov Processes and Markov Decision Processes: Frameworks, Extensions, and Open Challenges
by: Cleynen, Alice, et al.
Published: (2025)

Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes
by: Kalagarla, Krishna C., et al.
Published: (2024)

Economic Model Predictive Control as a Solution to Markov Decision Processes
by: Reinhardt, Dirk, et al.
Published: (2024)

Enhancing Information Freshness: An AoI Optimized Markov Decision Process
by: Xu, Jingzehua, et al.
Published: (2024)

Policy Gradient Methods for Information-Theoretic Opacity in Markov Decision Processes
by: Shi, Chongyang, et al.
Published: (2025)

Differentially Private Reward Functions in Policy Synthesis for Markov Decision Processes
by: Benvenuti, Alexander, et al.
Published: (2023)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
by: Schön, Oliver, et al.
Published: (2024)

Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance
by: Kuhl, William, et al.
Published: (2025)

A Markov Decision Process Framework for Enhancing Power System Resilience during Wildfires under Decision-Dependent Uncertainty
by: Zhao, Xinyi, et al.
Published: (2026)

Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2024)

Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
by: Oura, Ryohei, et al.
Published: (2025)

Approximate Bilevel Difference Convex Programming for Bayesian Risk Markov Decision Processes
by: Lin, Yifan, et al.
Published: (2023)

Quantum Markov Decision Processes: General Theory, Approximations, and Classes of Policies
by: Saldi, Naci, et al.
Published: (2024)

Online Reinforcement Learning in Markov Decision Process Using Linear Programming
by: Leon, Vincent, et al.
Published: (2023)

Power Loss and Temperature Distribution in Coil of PFC Inductor with Air Gap for Multimode Operation
by: Kasikowski, Rafal
Published: (2025)

Markov Decision Process and Approximate Dynamic Programming for a Patient Assignment Scheduling problem
by: O'Reilly, Malgorzata M., et al.
Published: (2024)

A Model-free Biomimetics Algorithm for Deterministic Partially Observable Markov Decision Process
by: Yu, Yide, et al.
Published: (2024)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2022)

AoI-MDP: An AoI Optimized Markov Decision Process (Student Abstract)
by: Ding, Yimian, et al.
Published: (2026)