Image de couverture de livre

Two behavioural pseudometrics for continuous-time Markov processes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Linan, Clerc, Florence, Panangaden, Prakash
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Behavioural pseudometrics for continuous-time diffusions
par: Chen, Linan, et autres
Publié: (2023)

Bisimulation for Feller-Dynkin Processes
par: Chen, Linan, et autres
Publié: (2019)

Sum and Tensor of Quantitative Effects
par: Bacci, Giorgio, et autres
Publié: (2022)

Propositional Logics for the Lawvere Quantale
par: Bacci, Giorgio, et autres
Publié: (2023)

Polynomial Lawvere Logic
par: Bacci, Giorgio, et autres
Publié: (2024)

Interpreting Lambda Calculus in Domain-Valued Random Variables
par: Furber, Robert, et autres
Publié: (2021)

Expressivity of bisimulation pseudometrics over analytic state spaces
par: Luckhardt, Daniel, et autres
Publié: (2025)

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)

Positivity-hardness results on Markov decision processes
par: Piribauer, Jakob, et autres
Publié: (2023)

Between Markov and restriction: Two more monads on categories for relations
par: Cioffo, Cipriano Junior, et autres
Publié: (2025)

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

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

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

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

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

Towards Counting Markov Equivalence Classes with Logical Constraints
par: Bizzaro, Davide, et autres
Publié: (2024)

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

Learning Robust Markov Models for Safe Runtime Monitoring
par: Skurka, Antonina, et autres
Publié: (2026)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
par: Suilen, Marnix, et autres
Publié: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
par: Češka, Milan, et autres
Publié: (2026)

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

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
par: Brihaye, Thomas, et autres
Publié: (2025)

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

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2022)

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
par: Szekeres, Dániel, et autres
Publié: (2024)

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
par: Das, Litan Kumar, et autres
Publié: (2023)

Universal Safety Controllers with Learned Prophecies
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Synthesis of Universal Safety Controllers
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
par: Schmuck, Anne-Kathrin, et autres
Publié: (2024)

Two Optimizations on the Stålmarck Procedure
par: Leonov, Sergei, et autres
Publié: (2025)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
par: Mertens, Hannah, et autres
Publié: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)

Traces via Strategies in Two-Player Games
par: Plummer, Benjamin, et autres
Publié: (2025)

Compositional pre-processing for automated reasoning in dependent type theory
par: Blot, Valentin, et autres
Publié: (2022)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
par: Fiuk, Oskar, et autres
Publié: (2025)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
par: Nayak, Satya Prakash, et autres
Publié: (2022)