Cover Image

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Suilen, Marnix, Badings, Thom, Bovy, Eline M., Parker, David, Jansen, Nils
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
by: Bovy, Eline M., et al.
Published: (2024)

Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability
by: Bovy, Eline M., et al.
Published: (2025)

Robust Reward Design for Markov Decision Processes
by: Wu, Shuo, et al.
Published: (2024)

Beyond Average Return in Markov Decision Processes
by: Marthe, Alexandre, et al.
Published: (2023)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

On Dynamic Programming Decompositions of Static Risk Measures in Markov Decision Processes
by: Hau, Jia Lin, et al.
Published: (2023)

Best-Effort Policies for Robust Markov Decision Processes
by: Abate, Alessandro, et al.
Published: (2025)

Robust $Q$-learning Algorithm for Markov Decision Processes under Wasserstein Uncertainty
by: Neufeld, Ariel, et al.
Published: (2022)

Distributionally Robust Free Energy Principle for Decision-Making
by: Shafiei, Allahkaram, et al.
Published: (2025)

Tractable Robust Markov Decision Processes
by: Grand-Clément, Julien, et al.
Published: (2024)

A Single-Loop Robust Policy Gradient Method for Robust Markov Decision Processes
by: Lin, Zhenwei, et al.
Published: (2024)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

OPO: Making Decision-Focused Data Acquisition Decisions
by: Peršak, Egon, et al.
Published: (2025)

Robust Markov Decision Processes on Continuous State Spaces
by: Li, Mengmeng, et al.
Published: (2026)

Computational Hardness of Static Distributionally Robust Markov Decision Processes
by: Li, Yan
Published: (2025)

Semismooth Newton Methods for Risk-Averse Markov Decision Processes
by: Gargiani, Matilde, et al.
Published: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Toward Decision-Oriented Prognostics: An Integrated Estimate-Optimize Framework for Predictive Maintenance
by: Xie, Zhuojun, et al.
Published: (2025)

Generative AI and Process Systems Engineering: The Next Frontier
by: Decardi-Nelson, Benjamin, et al.
Published: (2024)

Teaching LLMs to Think Mathematically: A Critical Study of Decision-Making via Optimization
by: Abdel-Rahman, Mohammad J., et al.
Published: (2025)

AI4OPT: AI Institute for Advances in Optimization
by: Van Hentenryck, Pascal, et al.
Published: (2023)

Absorbing Markov Decision Processes
by: Dufour, François, et al.
Published: (2023)

Algorithmic Detection of Rank Reversals, Transitivity Violations, and Decomposition Inconsistencies in Multi-Criteria Decision Analysis
by: Borda, Agustín, et al.
Published: (2025)

Inexact Policy Iteration Methods for Large-Scale Markov Decision Processes
by: Gargiani, Matilde, et al.
Published: (2024)

A Clustering-Based Variable Ordering Framework for Relaxed Decision Diagrams for Maximum Weighted Independent Set Problem
by: Nafar, Mohsen, et al.
Published: (2025)

Temporal Robustness in Discrete Time Linear Dynamical Systems
by: Metya, Nilava, et al.
Published: (2025)

An Optimistic-Robust Approach for Dynamic Positioning of Omnichannel Inventories
by: Harsha, Pavithra, et al.
Published: (2023)

Robust personalized pricing under uncertainty of purchase probabilities
by: Ikeda, Shunnosuke, et al.
Published: (2024)

An MILP-Based Solution Scheme for Factored and Robust Factored Markov Decision Processes
by: Liu, Huikang, et al.
Published: (2024)

Artificial Intelligence for Operations Research: Revolutionizing the Operations Research Process
by: Fan, Zhenan, et al.
Published: (2024)

Mean Field Markov Decision Processes
by: Bäuerle, Nicole
Published: (2021)

MUSIC: Accelerated Convergence for Distributed Optimization With Inexact and Exact Methods
by: Wu, Mou, et al.
Published: (2024)

A Robust Algorithm for Non-IID Machine Learning Problems with Convergence Analysis
by: Xu, Qing, et al.
Published: (2025)

Distributionally Robust Control with End-to-End Statistically Guaranteed Metric Learning
by: Wu, Jingyi, et al.
Published: (2025)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)

Deterministic Policy Gradient Primal-Dual Methods for Continuous-Space Constrained MDPs
by: Rozada, Sergio, et al.
Published: (2024)

Quasi-Quadratic Gradient: A New Direction for Accelerating the BFGS Method in Quasi-Newton Optimization
by: Chiang, John
Published: (2026)

Bilevel Optimization over Saddle Points of Zero-Sum Markov Games
by: Zheng, Zihao, et al.
Published: (2026)

Human-in-the-Loop AI for HVAC Management Enhancing Comfort and Energy Efficiency
by: Liang, Xinyu, et al.
Published: (2025)

A Quantum Model for Constrained Markowitz Modern Portfolio Using Slack Variables to Process Mixed-Binary Optimization under QAOA
by: Thomassin, Pablo, et al.
Published: (2025)