Imagen de Portada

Data-Driven Robust Safety Verification for Markov Decision Processes

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mazumdar, Abhijit, Bujorianu, Manuela L., Wisniewski, Rafal
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Distributionally Robust Safety Verification for Markov Decision Processes
por: Mazumdar, Abhijit, et al.
Publicado: (2024)

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

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

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

Provably Safe Reinforcement Learning for Stochastic Reach-Avoid Problems with Entropy Regularization
por: Mazumdar, Abhijit, et al.
Publicado: (2026)

Large Deviations in Safety-Critical Systems with Probabilistic Initial Conditions
por: Gomez, Aitor R., et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

ISC-POMDPs: Partially Observed Markov Decision Processes with Initial-State Dependent Costs
por: Molloy, Timothy L.
Publicado: (2025)

Intermittently Observable Markov Decision Processes
por: Chen, Gongpu, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

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

Statistical Guarantees in Data-Driven Nonlinear Control: Conformal Robustness for Stability and Safety
por: Hsu, Ting-Wei, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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