Buchumschlag

Demonic variance and a non-determinism score for Markov decision processes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Piribauer, Jakob
Format:	Preprint
Veröffentlicht:	2024
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

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)

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

The Modal Logic of Abstraction Refinement
von: Piribauer, Jakob, et al.
Veröffentlicht: (2026)

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

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

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

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

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

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

A Demonic Outcome Logic for Randomized Nondeterminism
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Two behavioural pseudometrics for continuous-time Markov processes
von: Chen, Linan, et al.
Veröffentlicht: (2025)

A behavioural pseudometric for continuous-time Markov processes
von: Chen, Linan, et al.
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

A classification of bisimilarities for general Markov decision processes
von: Moroni, Martín Santiago, et al.
Veröffentlicht: (2024)

Algorithms for Markov Binomial Chains
von: Gonzalez, Alejandro Alarcón, et al.
Veröffentlicht: (2024)

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

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
von: Catta, Davide, et al.
Veröffentlicht: (2026)

Skolem and Positivity Completeness of Ergodic Markov Chains
von: Vahanwala, Mihir
Veröffentlicht: (2023)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Towards Counting Markov Equivalence Classes with Logical Constraints
von: Bizzaro, Davide, et al.
Veröffentlicht: (2024)

Learning Robust Markov Models for Safe Runtime Monitoring
von: Skurka, Antonina, et al.
Veröffentlicht: (2026)

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

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

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

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

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

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

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

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
von: Xu, Ming, et al.
Veröffentlicht: (2022)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

SAT-Based Subsumption Resolution
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

SAT Solving for Variants of First-Order Subsumption
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

PolySAT: Word-level Bit-vector Reasoning in Z3
von: Rath, Jakob, et al.
Veröffentlicht: (2024)

Compositional pre-processing for automated reasoning in dependent type theory
von: Blot, Valentin, et al.
Veröffentlicht: (2022)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)