Image de couverture de livre

Positivity-hardness results on Markov decision processes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Piribauer, Jakob, Baier, Christel
Format:	Preprint
Publié:	2023
Sujets:	Logic in Computer Science G.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Foundations of probability-raising causality in Markov decision processes
par: Baier, Christel, et autres
Publié: (2022)

Demonic variance and a non-determinism score for Markov decision processes
par: Piribauer, Jakob
Publié: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

Risk-averse optimization of total rewards in Markovian models using deviation measures
par: Baier, Christel, et autres
Publié: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)

Multiplicative Rewards in Markovian Models
par: Baier, Christel, et autres
Publié: (2025)

Model Checking Markov Chains as Distribution Transformers
par: Aghamov, Rajab, et autres
Publié: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
par: Spork, Timm, et autres
Publié: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

The Modal Logic of Abstraction Refinement
par: Piribauer, Jakob, et autres
Publié: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2025)

Central Limits via Dilated Categories
par: Basold, Henning, et autres
Publié: (2026)

A Type Theory for Probabilistic and Bayesian Reasoning
par: Adams, Robin, et autres
Publié: (2015)

Skolem and Positivity Completeness of Ergodic Markov Chains
par: Vahanwala, Mihir
Publié: (2023)

Obligations and permissions on selfextensional logics
par: De Domenico, Andrea, et autres
Publié: (2024)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
par: Piedeleu, Robin, et autres
Publié: (2024)

Domain size asymptotics for Markov logic networks
par: Koponen, Vera
Publié: (2025)

Two behavioural pseudometrics for continuous-time Markov processes
par: Chen, Linan, et autres
Publié: (2025)

A behavioural pseudometric for continuous-time Markov processes
par: Chen, Linan, et autres
Publié: (2025)

Positionality in $Σ_0^2$ and a completeness result
par: Ohlmann, Pierre, et autres
Publié: (2023)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

A classification of bisimilarities for general Markov decision processes
par: Moroni, Martín Santiago, et autres
Publié: (2024)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Relational Models for the Lambek Calculus with Intersection and Constants
par: Kuznetsov, Stepan L.
Publié: (2022)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
par: Ramani, Mahesh, et autres
Publié: (2026)

Possibility Frames and Forcing for Modal Logic
par: Holliday, Wesley H.
Publié: (2025)

Morita Rigidity for Kleene Algebras
par: Serafin, Luke
Publié: (2025)

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
par: Kuznetsov, Stepan L.
Publié: (2025)

Positivity of Nearly Linearly Recurrent Sequences
par: Pouly, Amaury, et autres
Publié: (2025)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
par: Appel, Andrew W.
Publié: (2025)

Universal quantification makes automatic structures hard to decide
par: Haase, Christoph, et autres
Publié: (2023)

Algorithms for Markov Binomial Chains
par: Gonzalez, Alejandro Alarcón, et autres
Publié: (2024)

Towards the type safety of Pure Subtype Systems (Full version)
par: Pasquale, Valentin, et autres
Publié: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
par: Akshay, S., et autres
Publié: (2022)

Ordinal measures of the set of finite multisets
par: Vialard, Isa
Publié: (2023)

Graphical Quadratic Algebra
par: Stein, Dario, et autres
Publié: (2024)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
par: Stein, Dario
Publié: (2025)