Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)
43 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Computing Probabilistic Bisimilarity Distances for Probabilistic Automata'. Sammen danner de et unikt fingeraftryk.

Computer Science