1 paper
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…