Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2013 2019

Filter
Konferenceartikel i tidsskrift
2018
1 Citation (Scopus)
50 Downloads (Pure)

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 tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Total Variation Distance
Axiomatization
Markov processes
Markov chain
Deduction
2017
4 Citationer (Scopus)

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 tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Markov processes
Experiments