3 citations · 7 across the 12 of their papers we have counts for
1 paper · 1 filter
Cong Tian, Wensheng Wang, Zhenhua Duan
Optimal determinization construction of Streett automata is an important research problem because it is indispensable in numerous applications such as decision problems for tree te…