bibliographer - Giovanni Bacci

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare Qiyi Tang Franck van Breugel [github]

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare Qiyi Tang Franck van Breugel [github]

On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare [github]

Complete Axiomatization for the Total Variation Distance of Markov Chains Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]