30 search results - page 4 / 6 » Permissive strategies: from parity games to safety games |
CAV
2007
Springer
13 years 12 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...
SIGECOM
2006
ACM
13 years 11 months ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
MOBICOM
2003
ACM
13 years 11 months ago
2003
ACM
The competition among wireless data service providers brings in an option for the customers to switch their providers, due to unsatisfactory service or otherwise. However, the exi...
ICC
2008
IEEE
14 years 7 days ago
2008
IEEE
A game theoretic framework is developed in this paper to facilitate inter-cell interference management through cognitive sensing distributively performed by mobile stations (MSs)....
ALGORITHMICA
2010
13 years 5 months ago
2010
We investigate the convergence of the price of anarchy after a limited number of moves in the classical multicast communication game when the underlying communication networks is ...