2.1k citations · 3.9k across the 42 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…