:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Brice, Léonard, Cano, Filip, Chatterjee, Krishnendu, Henzinger, Thomas A., Muroya, Stefanie
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2605.07537
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Energy Shields for Fairness
by: Cano, Filip, et al.
Published: (2026)

Algorithmic Fairness: A Runtime Perspective
by: Cano, Filip, et al.
Published: (2025)

Fairness Shields: Safeguarding against Biased Decision Makers
by: Cano, Filip, et al.
Published: (2024)

Qualitative Analysis of $ω$-Regular Objectives on Robust MDPs
by: Asadi, Ali, et al.
Published: (2025)

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

Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
by: Asadi, Ali, et al.
Published: (2025)

Generalizing Multi-Step Inverse Models for Representation Learning to Finite-Memory POMDPs
by: Wu, Lili, et al.
Published: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations
by: Moss, Robert J., et al.
Published: (2023)

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs
by: Galesloot, Maris F. L., et al.
Published: (2025)

Towards Responsible AI: Advances in Safety, Fairness, and Accountability of Autonomous Systems
by: Cano, Filip
Published: (2025)

Finite-State Controllers for (Hidden-Model) POMDPs using Deep Reinforcement Learning
by: Hudák, David, et al.
Published: (2026)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

ε-Stationary Nash Equilibria in Multi-player Stochastic Graph Games
by: Asadi, Ali, et al.
Published: (2025)

Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees
by: Azeem, Muqsit, et al.
Published: (2024)

Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
by: Asadi, Ali, et al.
Published: (2025)

Finding equilibria: simpler for pessimists, simplest for optimists
by: Brice, Léonard, et al.
Published: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

Neural Control and Certificate Repair via Runtime Monitoring
by: Yu, Emily, et al.
Published: (2024)

Tighter Value-Function Approximations for POMDPs
by: Krale, Merlijn, et al.
Published: (2025)

Online Planning in POMDPs with State-Requests
by: Avalos, Raphael, et al.
Published: (2024)

Rethinking Transformers in Solving POMDPs
by: Lu, Chenhao, et al.
Published: (2024)

Dicey Games: Shared Sources of Randomness in Distributed Systems
by: Brice, Léonard, et al.
Published: (2026)

PepTune: De Novo Generation of Therapeutic Peptides with Multi-Objective-Guided Discrete Diffusion
by: Tang, Sophia, et al.
Published: (2024)

Planning under Distribution Shifts with Causal POMDPs
by: Ceriscioli, Matteo, et al.
Published: (2026)

Simplification of Risk Averse POMDPs with Performance Guarantees
by: Pariente, Yaacov, et al.
Published: (2024)

What should be observed for optimal reward in POMDPs?
by: Konsta, Alyzia-Maria, et al.
Published: (2024)

Welfare Maximization Algorithm for Solving Budget-Constrained Multi-Component POMDPs
by: Vora, Manav, et al.
Published: (2023)

A Finite-State Controller Based Offline Solver for Deterministic POMDPs
by: Schutz, Alex, et al.
Published: (2025)

Beyond Simple Graphs: Neural Multi-Objective Routing on Multigraphs
by: Rydin, Filip, et al.
Published: (2025)

Value Iteration with Guessing for Markov Chains and Markov Decision Processes
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies
by: Main, James C. A., et al.
Published: (2025)

Linear Equations with Min and Max Operators: Computational Complexity
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Solving Long-run Average Reward Robust MDPs via Stochastic Games
by: Chatterjee, Krishnendu, et al.
Published: (2023)

Scalable Solution Methods for Dec-POMDPs with Deterministic Dynamics
by: You, Yang, et al.
Published: (2025)

Belief-State Query Policies for User-Aligned POMDPs
by: Bramblett, Daniel, et al.
Published: (2024)

Monitoring of Static Fairness
by: Henzinger, Thomas A., et al.
Published: (2025)

Computing the Reachability Value of Posterior-Deterministic POMDPs
by: Fijalkow, Nathanaël, et al.
Published: (2026)

Factored Online Planning in Many-Agent POMDPs
by: Galesloot, Maris F. L., et al.
Published: (2023)