1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Damian Niwiński, Paweł Parys, Michał Skrzypczak
The Rabin tree theorem yields an algorithm to solve the satisfiability problem for monadic second-order logic over infinite trees. Here we solve the probabilistic variant of this p…