GOAL for Games, Omega-Automata, and Logics. - Ming-Hsien Tsai 001; Yih-Kuen Tsay; Yu-Shiang Hwang (CAV, 2013)