000 02730nam a2200277 a 4500
001 vtls000056427
003 KUKTEM
005 20251125093118.0
008 111130t2011 enka f 001 0 eng d
020 _a9780521198660
020 _a0521198666
039 9 _a201206181146
_basmadi
_y201111301509
_zirma
040 _aUMp
090 _aQA269 .L43 2011
245 0 0 _aLectures in game theory for computer scientists /
_cedited by Krzysztof R. Apt and Erich Grädel
260 _aCambridge :
_bCambridge University Press,
_cc2011
300 _axii, 295 p. :
_bill. ;
_c26 cm.
504 _aIncludes bibliographical references and index
505 0 _aMachine generated contents note: œg 1. ˜t A Primer on Strategic Games / œr Krzysztof R. Apt -- ˜g 1.1. œt Introduction -- ˜g 1.2. œt Basic concepts -- ˜g 1.3. œt Iterated elimination of strategies I -- ˜g 1.4. œt Mixed extension -- ˜g 1.5. œt Iterated elimination of strategies II -- ˜g 1.6. œt Variations on the definition of strategic games -- ˜g 1.7. œt Mechanism design -- ˜g 1.8. œt Pre-Bayesian games -- ˜g 1.9. œt Conclusions -- ˜g 2. œt Infinite Games and Automata Theory / ˜r Christof Loding -- œg 2.1. ˜t Introduction -- œg 2.2. ˜t Basic notations and definitions -- œg 2.3. ˜t Transformation of winning conditions -- œg 2.4. ˜t Tree automata -- œg 2.5. ˜t Beyond finite automata -- œg 2.6. ˜t Conclusion -- œg 3. ˜t Algorithms for Solving Parity Games / œr Marcin Jurdzinski -- ˜g 3.1. œt Games on graphs -- ˜g 3.2. œt Solving repeated reachability and eventual safety games
505 0 _a˜g 6.3. œt Games with imperfect information: surely-winning -- ˜g 6.4. œt Games with imperfect information: almost-surely-winning -- ˜g 7. œt Graph Searching Games / ˜r Stephan Kreuizer -- œg 7.1. ˜t Introduction -- œg 7.2. ˜t Classifying graph searching games -- œg 7.3. ˜t Variants of graph searching games -- œg 7.4. ˜t Monotonicity of graph searching -- œg 7.5. ˜t Obstructions -- œg 7.6. ˜t An application to graph-decompositions -- œg 7.7. ˜t Complexity of graph searching -- œg 7.8. ˜t Conclusion -- œg 8. ˜t Beyond Nash Equilibrium: Solution Concepts for the 21st Century / œr Joseph Y. Halpern -- ˜g 8.1. œt Introduction -- ˜g 8.2. œt Robust and resilient equilibrium -- ˜g 8.3. œt Taking computation into account -- ˜g 8.4. œt Taking (lack of) awareness into account -- ˜g 8.5. œt Iterated regret minimisation -- ˜g 8.6. œt Conclusions
650 0 _aGame theory
650 0 _aComputer science
_xMathematics
700 1 _aApt, Krzysztof R.
700 1 _aGrädel, Erich
999 _aVIRTUA40
_c61507
_d61513
999 _aVTLSSORT0080*0200*0201*0400*0900*2450*2600*3000*5040*5050*5051*6500*6501*7000*7001*9991