31 citations · 69 across the 15 of their papers we have counts for
1 paper · 2 filters
Henryk Michalewski, Matteo Mio
We consider the problem of computing the probability of regular languages of infinite trees with respect to the natural coin-flipping measure. We propose an algorithm which compute…