loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Trading Memory for Randomness
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
Krishnendu Chatterjee, University of California, Berkeley
Luca de Alfaro, University of California, Santa Cruz
Thomas A. Henzinger, University of California, Berkeley; EPFL, Switzerland
Strategies in repeated games can be classified as to whether or not they use memory and/or randomization. We consider Markov decision processes and 2-player graph games, both of the deterministic and probabilistic varieties. We characterize when memory and/or randomization are required for winning with respect to various classes of w-regular objectives, noting particularly when the use of memory can be traded for the use of randomization. In particular, we show that Markov decision processes allow randomized memoryless optimal strategies for all M?ller objectives. Furthermore, we show that 2-player probabilistic graph games allow randomized memoryless strategies for winning with probability 1 those M?ller objectives which are upward-closed. Upward-closure means that if a set α of infinitely repeating vertices is winning, then all supersets of α are also winning.
Citation:
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger, "Trading Memory for Randomness," qest, pp.206-217, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.