Büchi Tree Automata
Exploiting the Robustness on Power-Law Networks Yilin Shen , Nam P. Nguyen, My T. Thai