Complete Axiomatization for the Total Variation Distance of Markov Chains

Giorgio Bacci^*, Giovanni Bacci, Kim G. Larsen, Radu Mardare

^*Corresponding author for this work

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

4 Citations (Scopus)

182 Downloads (Pure)

1 results

Finished
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Project: Research