Robot game is a two-player vector addition game played on the integer lattice Z. Both players have sets of vectors and in each turn the vector chosen by a player is added to the current configurationâ€¦ (More)

Robot games [4] are played by two players, a reacher and an opp onent, by updating a vector of m integer counters. Each player controls a finite set of integer vector s inZm. Plays start with a givenâ€¦ (More)

We study the realizability problem for specifications of rea ctive systems expressed in real-time linear temporal logics. The log ics we consider are subsets ofMITL (Metric Interval Temporal Logic),â€¦ (More)

Counter reachability games are played by two players on a graph with labelled edges. Each move consists in picking an edge from the current location and adding its label to a counter vector. Theâ€¦ (More)