 This can be generalized to higher and higher time bounds.Generalizations of many fully observable games are EXPTIME-complete.These games can be viewed as particular instance of a class of transition systems defined in terms of a set of state variables and actions/events that change the values of the state variables, together with the question of whether a winning strategy exists.