Approximate Reasoning for Stochastic Markovian Systems

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

9 Konferenceartikel i proceeding
2 Konferenceartikel i tidsskrift
1 Tidsskriftartikel

2 resultater

Filter

2018
Complete Axiomatization for the Total Variation Distance of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
4 Citationer (Scopus)

182 Downloads (Pure)
2017
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
7 Citationer (Scopus)