22 search results - page 1 / 5 » Concurrent Games with Tail Objectives |
CSL
2006
Springer
14 years 2 months ago
2006
Springer
QEST
2006
IEEE
14 years 5 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
FOSSACS
2012
Springer
12 years 6 months ago
2012
Springer
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...