Converging from Branching to Linear Metrics on Markov Chains

DOI10.1007/978-3-319-25150-9_21MaRDI QIDQ2787435zbMATH OpenOpenAlexFDO

Authors Giorgio Bacci, Giovanni Bacci, Radu Mardare, Kim G. Larsen

Publication date 25 February 2016

Published in Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL https://strathprints.strath.ac.uk/70230/

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Converging from branching to linear metrics on Markov chains
• On the convergence of nonlinear Markov chains
• Convergence of Markov chain transition probabilities
• scientific article; zbMATH DE number 736266
• Branching Markov processes and related asymptotics
• A convergence result on the lengths of Markovian loops
• Metastable Markov chains: from the convergence of the trace to the convergence of the finite-dimensional distributions
• Convergence Rates for Markov Chains
• A method to derive concentration of measure bounds on Markov chains

Cited in

(13)

• SOS specifications for uniformly continuous operators
• On the metric-based approximate minimization of Markov chains
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
• Complete axiomatization for the total variation distance of Markov chains
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• On approximation metrics for linear temporal model-checking of stochastic systems
• Trace and testing metrics on nondeterministic probabilistic processes
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• Converging from branching to linear metrics on Markov chains
• Linear distances between Markov chains
• Compositional weak metrics for group key update
• On the metric-based approximate minimization of Markov chains
• Logical characterization of trace metrics

This page was built for publication: Converging from Branching to Linear Metrics on Markov Chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787435)