230 search results - page 2 / 46 » UPPAAL-Tiga: Time for Playing Games! |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
INFOCOM
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— Online gaming is one of the most profitable businesses on the Internet. Among various threats to continuous player subscriptions, network lags are particularly notorio...
TEI
2012
ACM
12 years 25 days ago
2012
ACM
We present Tweetris, a full-body interactive Tetris game with extended audience participation. Snapshots of players making correct tetrominos are tweeted, and this feed is used by...
FORMATS
2005
Springer
13 years 10 months ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...
ACMACE
2006
ACM
13 years 11 months ago
2006
ACM
—This paper introduces Age Invaders (AI), a novel interactive inter-generation social-physical game which allows the elderly to play harmoniously together with children in physic...