53 citations · 154 across the 20 of their papers we have counts for
1 paper · 1 filter
Naoki Kobayashi, C. -H. Luke Ong
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen…