Imagen de Portada

Two behavioural pseudometrics for continuous-time Markov processes

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Linan, Clerc, Florence, Panangaden, Prakash
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Polynomial Lawvere Logic
por: Bacci, Giorgio, et al.
Publicado: (2024)

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

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

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

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

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

Between Markov and restriction: Two more monads on categories for relations
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)

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

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

Skolem and Positivity Completeness of Ergodic Markov Chains
por: Vahanwala, Mihir
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Synthesis of Universal Safety Controllers
por: Finkbeiner, Bernd, et al.
Publicado: (2025)

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

Two Optimizations on the Stålmarck Procedure
por: Leonov, Sergei, et al.
Publicado: (2025)

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

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
por: Nishimura, Yuki
Publicado: (2022)

Traces via Strategies in Two-Player Games
por: Plummer, Benjamin, et al.
Publicado: (2025)

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

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
por: Fiuk, Oskar, et al.
Publicado: (2025)

On Knowledge Compilation For Two-Variable First-Order Logic
por: Meng, Qiaolan, et al.
Publicado: (2026)

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

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
por: Nayak, Satya Prakash, et al.
Publicado: (2022)