Cover Image

A behavioural pseudometric for continuous-time Markov processes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Linan, Clerc, Florence, Panangaden, Prakash
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Behavioural pseudometrics for continuous-time diffusions
by: Chen, Linan, et al.
Published: (2023)

Bisimulation for Feller-Dynkin Processes
by: Chen, Linan, et al.
Published: (2019)

Sum and Tensor of Quantitative Effects
by: Bacci, Giorgio, et al.
Published: (2022)

Propositional Logics for the Lawvere Quantale
by: Bacci, Giorgio, et al.
Published: (2023)

Polynomial Lawvere Logic
by: Bacci, Giorgio, et al.
Published: (2024)

Interpreting Lambda Calculus in Domain-Valued Random Variables
by: Furber, Robert, et al.
Published: (2021)

Expressivity of bisimulation pseudometrics over analytic state spaces
by: Luckhardt, Daniel, et al.
Published: (2025)

Foundations of probability-raising causality in Markov decision processes
by: Baier, Christel, et al.
Published: (2022)

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

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

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)

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

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

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

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

Formal Quality Measures for Predictors in Markov Decision Processes
by: Baier, Christel, 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)

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

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

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

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

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

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

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
by: Das, Litan Kumar, et al.
Published: (2023)

Universal Safety Controllers with Learned Prophecies
by: Finkbeiner, Bernd, et al.
Published: (2025)

Synthesis of Universal Safety Controllers
by: Finkbeiner, Bernd, et al.
Published: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
by: Schmuck, Anne-Kathrin, et al.
Published: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
by: Mertens, Hannah, et al.
Published: (2024)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
by: Xu, Lyris, et al.
Published: (2025)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
by: Mironov, Andrew M.
Published: (2025)

Compositional pre-processing for automated reasoning in dependent type theory
by: Blot, Valentin, et al.
Published: (2022)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)