1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Johann Schuster, Markus Siegle
The paper shows that there is a deep structure on certain sets of bisimilar Probabilistic Automata (PA). The key prerequisite for these structures is a notion of compactness of PA.…