Buchumschlag

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Baier, Christel, Chau, Calvin, Drobitko, Volodymyr, Jantsch, Simon, Klüppelholz, Sascha
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

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, et al.
Veröffentlicht: (2025)

Positivity-hardness results on Markov decision processes
von: Piribauer, Jakob, et al.
Veröffentlicht: (2023)

Foundations of probability-raising causality in Markov decision processes
von: Baier, Christel, et al.
Veröffentlicht: (2022)

Complete $ω$-Regular Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2026)

Model Checking Markov Chains as Distribution Transformers
von: Aghamov, Rajab, et al.
Veröffentlicht: (2024)

Risk-averse optimization of total rewards in Markovian models using deviation measures
von: Baier, Christel, et al.
Veröffentlicht: (2024)

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

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
von: Suilen, Marnix, et al.
Veröffentlicht: (2026)

A Spectrum of Approximate Probabilistic Bisimulations
von: Spork, Timm, et al.
Veröffentlicht: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
von: Sung, Miara
Veröffentlicht: (2026)

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

Concurrent Permissive Strategy Templates
von: Anand, Ashwani, et al.
Veröffentlicht: (2026)

Multi-clocked Guarded Recursion Beyond ω
von: Møgelberg, Rasmus Ejlers
Veröffentlicht: (2025)

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
von: Szekeres, Dániel, et al.
Veröffentlicht: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
von: Ježil, Ondřej, et al.
Veröffentlicht: (2026)

Best-Effort Policies for Robust Markov Decision Processes
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
von: Xu, Lyris, et al.
Veröffentlicht: (2025)

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

$ω$-Regular Energy Problems
von: Dziadek, Sven, et al.
Veröffentlicht: (2022)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Witnesses for Fixpoint Games on Lattices
von: König, Barbara, et al.
Veröffentlicht: (2026)

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

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

Computing Witnesses Using the SCAN Algorithm
von: Achammer, Fabian, et al.
Veröffentlicht: (2026)

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

A Hierarchy of Supermartingales for $ω$-Regular Verification
von: Kura, Satoshi, et al.
Veröffentlicht: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

Computational Paths Form a Weak ω-Groupoid
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
von: Achammer, Fabian, et al.
Veröffentlicht: (2025)

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

Positional $ω$-regular languages
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

Invertible cells in $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

Partial Quantifier Elimination By Certificate Clauses
von: Goldberg, Eugene
Veröffentlicht: (2020)

Evidential Decision Theory via Partial Markov Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2023)