Cover Image

Foundations of probability-raising causality in Markov decision processes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baier, Christel, Piribauer, Jakob, Ziemek, Robin
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Quality Measures for Predictors in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

Positivity-hardness results on Markov decision processes
by: Piribauer, Jakob, et al.
Published: (2023)

Demonic variance and a non-determinism score for Markov decision processes
by: Piribauer, Jakob
Published: (2024)

Risk-averse optimization of total rewards in Markovian models using deviation measures
by: Baier, Christel, et al.
Published: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
by: Spork, Timm, et al.
Published: (2025)

Multiplicative Rewards in Markovian Models
by: Baier, Christel, et al.
Published: (2025)

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, et al.
Published: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
by: Aghamov, Rajab, et al.
Published: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

The Modal Logic of Abstraction Refinement
by: Piribauer, Jakob, et al.
Published: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2025)

Two behavioural pseudometrics for continuous-time Markov processes
by: Chen, Linan, et al.
Published: (2025)

A behavioural pseudometric for continuous-time Markov processes
by: Chen, Linan, et al.
Published: (2025)

SAT-Based Subsumption Resolution
by: Coutelier, Robin, et al.
Published: (2024)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

A classification of bisimilarities for general Markov decision processes
by: Moroni, Martín Santiago, et al.
Published: (2024)

SAT Solving for Variants of First-Order Subsumption
by: Coutelier, Robin, et al.
Published: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Algorithms for Markov Binomial Chains
by: Gonzalez, Alejandro Alarcón, et al.
Published: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

Skolem and Positivity Completeness of Ergodic Markov Chains
by: Vahanwala, Mihir
Published: (2023)

Towards Counting Markov Equivalence Classes with Logical Constraints
by: Bizzaro, Davide, et al.
Published: (2024)

Learning Robust Markov Models for Safe Runtime Monitoring
by: Skurka, Antonina, et al.
Published: (2026)

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

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

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
by: Brihaye, Thomas, et al.
Published: (2025)

Effect Algebras as Omega-categories
by: Perticone, Lorenzo, et al.
Published: (2023)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Derivatives for Containers in Univalent Foundations
by: Joram, Philipp, et al.
Published: (2025)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2022)

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

Logical forms complement probability in understanding language model (and human) performance
by: Wang, Yixuan, et al.
Published: (2025)

A Categorical Foundation of Rough Sets
by: Kakutani, Yoshihiko
Published: (2025)

Six Birds: Foundations of Emergence Calculus
by: Tsiokos, Ioannis
Published: (2026)

Lazy Reimplication in Chronological Backtracking
by: Coutelier, Robin, et al.
Published: (2025)

Foundations of logic programming in hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

A Foundation for Differentiable Logics using Dependent Type Theory
by: Affeldt, Reynald, et al.
Published: (2026)