bibliographer - Franck van Breugel

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]

Probabilistic Bisimilarity Distances 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 Complexity of Computing Probabilistic Bisimilarity Di Chen Franck van Breugel James Worrell [github]

On the Complexity of Computing Probabilistic Bisimilarity Di Chen Franck van Breugel James Worrell [github]

Domain theory, testing and simulation for labelled Markov processes Franck van Breugel Michael Mislove Joël Ouaknine James Worrell [github]

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

[show logs] [hide logs]