3 citations · 7 across the 12 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2020
Making Streett Determinization Tight
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…
cs.FL2014★ 2 cited
Buchi Determinization Made Tighter
Cong Tian, Zhenhua Duan
By separating the principal acceptance mechanism from the concrete acceptance condition of a given Büchi automaton with states,Schewe presented the construction of an equivalen…