Two behavioural pseudometrics for continuous-time Markov processes
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Chen, Linan, Clerc, Florence, Panangaden, Prakash |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| 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)
par: Chen, Linan, et autres
Publié: (2025)
Behavioural pseudometrics for continuous-time diffusions
par: Chen, Linan, et autres
Publié: (2023)
par: Chen, Linan, et autres
Publié: (2023)
Bisimulation for Feller-Dynkin Processes
par: Chen, Linan, et autres
Publié: (2019)
par: Chen, Linan, et autres
Publié: (2019)
Sum and Tensor of Quantitative Effects
par: Bacci, Giorgio, et autres
Publié: (2022)
par: Bacci, Giorgio, et autres
Publié: (2022)
Propositional Logics for the Lawvere Quantale
par: Bacci, Giorgio, et autres
Publié: (2023)
par: Bacci, Giorgio, et autres
Publié: (2023)
Polynomial Lawvere Logic
par: Bacci, Giorgio, et autres
Publié: (2024)
par: Bacci, Giorgio, et autres
Publié: (2024)
Interpreting Lambda Calculus in Domain-Valued Random Variables
par: Furber, Robert, et autres
Publié: (2021)
par: Furber, Robert, et autres
Publié: (2021)
Expressivity of bisimulation pseudometrics over analytic state spaces
par: Luckhardt, Daniel, et autres
Publié: (2025)
par: Luckhardt, Daniel, et autres
Publié: (2025)
Foundations of probability-raising causality in Markov decision processes
par: Baier, Christel, et autres
Publié: (2022)
par: Baier, Christel, et autres
Publié: (2022)
Demonic variance and a non-determinism score for Markov decision processes
par: Piribauer, Jakob
Publié: (2024)
par: Piribauer, Jakob
Publié: (2024)
Positivity-hardness results on Markov decision processes
par: Piribauer, Jakob, et autres
Publié: (2023)
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)
par: Cioffo, Cipriano Junior, et autres
Publié: (2025)
Algorithms for Markov Binomial Chains
par: Gonzalez, Alejandro Alarcón, et autres
Publié: (2024)
par: Gonzalez, Alejandro Alarcón, et autres
Publié: (2024)
Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)
par: Seiller, Thomas
Publié: (2020)
Skolem and Positivity Completeness of Ergodic Markov Chains
par: Vahanwala, Mihir
Publié: (2023)
par: Vahanwala, Mihir
Publié: (2023)
Model Checking Markov Chains as Distribution Transformers
par: Aghamov, Rajab, et autres
Publié: (2024)
par: Aghamov, Rajab, et autres
Publié: (2024)
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)
par: Spork, Timm, et autres
Publié: (2025)
Towards Counting Markov Equivalence Classes with Logical Constraints
par: Bizzaro, Davide, et autres
Publié: (2024)
par: Bizzaro, Davide, et autres
Publié: (2024)
Formal Quality Measures for Predictors in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)
par: Baier, Christel, et autres
Publié: (2024)
Learning Robust Markov Models for Safe Runtime Monitoring
par: Skurka, Antonina, et autres
Publié: (2026)
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)
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)
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)
par: Baier, Christel, et autres
Publié: (2024)
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
par: Brihaye, Thomas, et autres
Publié: (2025)
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)
par: Baier, Christel, et autres
Publié: (2025)
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2022)
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)
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)
par: Das, Litan Kumar, et autres
Publié: (2023)
Universal Safety Controllers with Learned Prophecies
par: Finkbeiner, Bernd, et autres
Publié: (2025)
par: Finkbeiner, Bernd, et autres
Publié: (2025)
Synthesis of Universal Safety Controllers
par: Finkbeiner, Bernd, et autres
Publié: (2025)
par: Finkbeiner, Bernd, et autres
Publié: (2025)
Localized Attractor Computations for Infinite-State Games (Full Version)
par: Schmuck, Anne-Kathrin, et autres
Publié: (2024)
par: Schmuck, Anne-Kathrin, et autres
Publié: (2024)
Two Optimizations on the Stålmarck Procedure
par: Leonov, Sergei, et autres
Publié: (2025)
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)
par: Mertens, Hannah, et autres
Publié: (2024)
Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)
par: Nishimura, Yuki
Publié: (2022)
Traces via Strategies in Two-Player Games
par: Plummer, Benjamin, et autres
Publié: (2025)
par: Plummer, Benjamin, et autres
Publié: (2025)
Compositional pre-processing for automated reasoning in dependent type theory
par: Blot, Valentin, et autres
Publié: (2022)
par: Blot, Valentin, et autres
Publié: (2022)
Two-Variable Logic for Hierarchically Partitioned and Ordered Data
par: Fiuk, Oskar, et autres
Publié: (2025)
par: Fiuk, Oskar, et autres
Publié: (2025)
On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)
par: Meng, Qiaolan, et autres
Publié: (2026)
Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)
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)
par: Nayak, Satya Prakash, et autres
Publié: (2022)
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)