GOAL for Games, Omega-Automata, and Logics.

Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang

Browse the full CAV paper archive.