Travelled to:
1 × Russia
Collaborated with:
M.Tsai Y.Tsay
Talks about:
automata (1) logic (1) goal (1) game (1)
Person: Yu-Shiang Hwang
DBLP: Hwang:Yu=Shiang
Contributed to:
Wrote 1 papers:
- CAV-2013-TsaiTH #automaton #game studies #logic
- GOAL for Games, ω-Automata, and Logics (MHT, YKT, YSH), pp. 883–889.