Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

5 Citationer (Scopus)

Fingeraftryk

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

Computer Science