Buchumschlag

Distributionally Robust Safety Verification for Markov Decision Processes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mazumdar, Abhijit, Hou, Yuting, Wisniewski, Rafal
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Data-Driven Robust Safety Verification for Markov Decision Processes
von: Mazumdar, Abhijit, et al.
Veröffentlicht: (2025)

Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time
von: Mazumdar, Abhijit, et al.
Veröffentlicht: (2024)

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

Learning Algorithms for Verification of Markov Decision Processes
von: Brázdil, Tomáš, et al.
Veröffentlicht: (2024)

Robust Correlated Equilibrium: Definition and Computation
von: Misra, Rahul, et al.
Veröffentlicht: (2023)

Operator Splitting for Convex Constrained Markov Decision Processes
von: Grontas, Panagiotis D., et al.
Veröffentlicht: (2024)

Convex Approximations of Random Constrained Markov Decision Processes
von: Varagapriya, V, et al.
Veröffentlicht: (2025)

Markov Decision Process Design: A Framework for Integrating Strategic and Operational Decisions
von: Brown, Seth, et al.
Veröffentlicht: (2023)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
von: Rickard, Luke, et al.
Veröffentlicht: (2023)

Information-Theoretic Opacity-Enforcement in Markov Decision Processes
von: Shi, Chongyang, et al.
Veröffentlicht: (2024)

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

Intermittently Observable Markov Decision Processes
von: Chen, Gongpu, et al.
Veröffentlicht: (2023)

A Markov Decision Process Model for Intrusion Tolerance Problems
von: Kreidl, Patrick
Veröffentlicht: (2025)

Active Inference through Incentive Design in Markov Decision Processes
von: Wei, Xinyi, et al.
Veröffentlicht: (2025)

Continuous-Time Distributed Dynamic Programming for Networked Multi-Agent Markov Decision Processes
von: Lee, Donghwan, et al.
Veröffentlicht: (2023)

Online Parameter Estimation for Continuously Monitored Quantum Systems
von: Clausen, Henrik Glavind, et al.
Veröffentlicht: (2024)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
von: Kishida, Masako
Veröffentlicht: (2025)

Concentration of Cumulative Reward in Markov Decision Processes
von: Sayedana, Borna, et al.
Veröffentlicht: (2024)

Causal Temporal Reasoning for Markov Decision Processes
von: Kazemi, Milad, et al.
Veröffentlicht: (2022)

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

Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes
von: Kalagarla, Krishna C., et al.
Veröffentlicht: (2024)

Economic Model Predictive Control as a Solution to Markov Decision Processes
von: Reinhardt, Dirk, et al.
Veröffentlicht: (2024)

Enhancing Information Freshness: An AoI Optimized Markov Decision Process
von: Xu, Jingzehua, et al.
Veröffentlicht: (2024)

Policy Gradient Methods for Information-Theoretic Opacity in Markov Decision Processes
von: Shi, Chongyang, et al.
Veröffentlicht: (2025)

Differentially Private Reward Functions in Policy Synthesis for Markov Decision Processes
von: Benvenuti, Alexander, et al.
Veröffentlicht: (2023)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
von: Wang, Han, et al.
Veröffentlicht: (2023)

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

Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance
von: Kuhl, William, et al.
Veröffentlicht: (2025)

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

Interval Markov Decision Processes with Continuous Action-Spaces
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2022)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
von: Chen, Yu, et al.
Veröffentlicht: (2024)

Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
von: Oura, Ryohei, et al.
Veröffentlicht: (2025)

Approximate Bilevel Difference Convex Programming for Bayesian Risk Markov Decision Processes
von: Lin, Yifan, et al.
Veröffentlicht: (2023)

Quantum Markov Decision Processes: General Theory, Approximations, and Classes of Policies
von: Saldi, Naci, et al.
Veröffentlicht: (2024)

Online Reinforcement Learning in Markov Decision Process Using Linear Programming
von: Leon, Vincent, et al.
Veröffentlicht: (2023)

Power Loss and Temperature Distribution in Coil of PFC Inductor with Air Gap for Multimode Operation
von: Kasikowski, Rafal
Veröffentlicht: (2025)

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

A Model-free Biomimetics Algorithm for Deterministic Partially Observable Markov Decision Process
von: Yu, Yide, et al.
Veröffentlicht: (2024)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
von: Chen, Yu, et al.
Veröffentlicht: (2022)

AoI-MDP: An AoI Optimized Markov Decision Process (Student Abstract)
von: Ding, Yimian, et al.
Veröffentlicht: (2026)