On the Total Variation Distance of Semi-Markov Chains

DOI10.1007/978-3-662-46678-0_12zbMath1459.68116OpenAlexW2518771331MaRDI QIDQ2949439

Radu Mardare, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen

Publication date: 1 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Complete axiomatization for the total variation distance of Markov chains ⋮ Converging from branching to linear metrics on Markov chains ⋮ Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach ⋮ Unnamed Item

This page was built for publication: On the Total Variation Distance of Semi-Markov Chains