Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citationer (Scopus)

Fingeraftryk

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

Physics

Computer Science

Mathematics

Engineering