Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

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

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Computing Probabilistic Bisimilarity Distances for Probabilistic Automata'. Together they form a unique fingerprint.

Physics

Computer Science

Mathematics

Engineering