4.1 The Model: Game Timed Automata A game timed automaton [MPS95] (GTA) is a TA whose set of edges E is partitioned into two disjoint sets Ec (the ...
確定! 回上一頁