3780 search results - page 214 / 756 » Algorithms for Game Metrics |
298
Voted
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—Wireless sensor networks are evolving from singleapplication platforms towards an integrated infrastructure shared by multiple applications. Given the resource constrain...
127
Voted
TACAS
2009
Springer
16 years 28 days ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
192
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
We consider the problem of finding optimal strategies in infinite extensive form games with incomplete information that are repeatedly played. This problem is still open in lite...
127
click to vote
CAV
2007
Springer
16 years 9 days 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...
163
click to vote
CONCUR
2009
Springer
16 years 21 days ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...