Approximate Reasoning for Stochastic Markovian Systems

Mardare, Radu (PI)
Larsen, Kim Guldstrand (PI)

9 Article in proceeding
2 Conference article in Journal
1 Journal article

2 results

Filter

2018
Complete Axiomatization for the Total Variation Distance of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access
File
4 Citations (Scopus)

182 Downloads (Pure)
2017
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access
7 Citations (Scopus)