Buchumschlag

The Value Problem for Multiple-Environment MDPs with Parity Objective

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chatterjee, Krishnendu, Doyen, Laurent, Raskin, Jean-François, Sankur, Ocan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Multi-Environment MDPs with Prior and Universal Semantics
von: Bordais, Benjamin, et al.
Veröffentlicht: (2026)

Stochastic Processes with Expected Stopping Time
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2021)

A Zone-Based Algorithm for Timed Parity Games
von: Geeraerts, Gilles, et al.
Veröffentlicht: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
von: Doyen, Laurent, et al.
Veröffentlicht: (2026)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
von: Suilen, Marnix, et al.
Veröffentlicht: (2024)

Multiplicative Rewards in Markovian Models
von: Baier, Christel, et al.
Veröffentlicht: (2025)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2025)

Regular Games with Imperfect Information Are Not That Regular
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

Synthesising Full-Information Protocols
von: Berwanger, Dietmar, et al.
Veröffentlicht: (2023)

Robust Almost-Sure Reachability in Multi-Environment MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2023)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
von: Brihaye, Thomas, et al.
Veröffentlicht: (2025)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
von: Perez, Mateo, et al.
Veröffentlicht: (2023)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2025)

Tractable Hyperproperties for MDPs
von: Gerlach, Lina, et al.
Veröffentlicht: (2026)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Small Decision Trees for MDPs with Deductive Synthesis
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2025)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2020)

The Algebra of Parity Games
von: Piedeleu, Robin
Veröffentlicht: (2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs
von: Akshay, S., et al.
Veröffentlicht: (2025)

Policies Grow on Trees: Model Checking Families of MDPs
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Stuttering Equivalence for Parity Games
von: Cranen, Sjoerd, et al.
Veröffentlicht: (2011)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
von: Češka, Milan, et al.
Veröffentlicht: (2026)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2024)

Shields to Guarantee Probabilistic Safety in MDPs
von: Heck, Linus, et al.
Veröffentlicht: (2026)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
von: Kohlen, Bram, et al.
Veröffentlicht: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Linear Planar 3-SAT and Its Applications in Planning
von: Desbois, Victorien, et al.
Veröffentlicht: (2025)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
von: Watanabe, Kazuki
Veröffentlicht: (2024)

The Discontinuity Problem
von: Brattka, Vasco
Veröffentlicht: (2020)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
von: Chakraborty, Debraj, et al.
Veröffentlicht: (2026)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

On Good-for-MDPs Automata
von: Schewe, Sven, et al.
Veröffentlicht: (2022)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)