@article(AT12, author = {D. Auger and O. Teyraud}, year = {2012}, title = {The Frontier of Decidability in Partially Observable Recursive Games}, journal = {Int. Journal of Foundations of Computer Science}, volume = {23}, number = {7}, pages = {1439--1450}, doi = {10.1142/S0129054112400576}, ) @inproceedings(BBMU11, author = {P. Bouyer and R. Brenguier and N. Markey and M. Ummels}, year = {2011}, title = {{N}ash Equilibria in Concurrent Games with {B}{\"u}chi Objectives}, booktitle = {Proc. 30th Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11)}, series = {LIPIcs}, volume = {13}, publisher = {Leibniz-Zentrum f{\"u}r Informatik}, pages = {375--386}, doi = {10.4230/LIPIcs.FSTTCS.2011.375}, ) @article(BBMU15, author = {P. Bouyer and R. Brenguier and N. Markey and M. Ummels}, year = {2015}, title = {Pure {N}ash Equilibria in Concurrent Games}, journal = {Logical Methods in Computer Science}, volume = {11}, number = {2:9}, doi = {10.2168/LMCS-11(2:9)2015}, ) @inproceedings(BMS14, author = {P. Bouyer and N. Markey and D. Stan}, year = {2014}, title = {Mixed {N}ash Equilibria in Concurrent Games}, booktitle = {Proc. 33rd Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14)}, series = {LIPIcs}, volume = {29}, publisher = {Leibniz-Zentrum f{\"u}r Informatik}, pages = {351--363}, doi = {10.4230/LIPIcs.FSTTCS.2014.351}, ) @article(CD14, author = {K. Chatterjee and L. Doyen}, year = {2014}, title = {Partial-Observation Stochastic Games: How to Win when Belief Fails}, journal = {ACM Transactions on Computational Logic}, volume = {15}, number = {2:16}, doi = {10.1145/2579821}, ) @inproceedings(CJM04, author = {K. Chatterjee and M. Jurdzi{\'n}ski and R. Majumdar}, year = {2004}, title = {On {N}ash Equilibria in Stochastic Games}, booktitle = {Proc. 18th Int. Workshop on Computer Science Logic (CSL'04)}, series = {LNCS}, volume = {3210}, publisher = {Springer}, pages = {26--40}, doi = {10.1007/978-3-540-30124-0\_6}, ) @inproceedings(CKPS10, author = {T. Chen and M. Kwiatkowska and D. Parker and A. Simaitis}, year = {2011}, title = {Verifying Team Formation Protocols with Probabilistic Model Checking}, booktitle = {Proc. 12th Int. Workshop on Computational Logic in Multi-Agent Systems (CLIMA'11)}, series = {LNAI}, volume = {6814}, publisher = {Springer}, pages = {190--207}, doi = {10.1007/978-3-642-22359-4\_14}, ) @incollection(WTMKD15, author = {A. Das and S. Krishna and L. Manasa and A. Trivedi and D. Wojtczak}, year = {2015}, title = {On Pure {N}ash Equilibria in Stochastic Games}, booktitle = {Theory and Applications of Models of Computation}, series = {LNCS}, volume = {9076}, publisher = {Springer}, pages = {359--371}, doi = {10.1007/978-3-319-17142-5\_31}, ) @inproceedings(henzinger05, author = {Thomas A. Henzinger}, year = {2005}, title = {Games in System Design and Verification}, booktitle = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge}, series = {TARK '05}, publisher = {National University of Singapore}, address = {Singapore, Singapore}, pages = {1--4}, url = {http://doi.acm.org/10.1145/1089933.1089935}, ) @article(kakutani1941, author = {S. Kakutani}, year = {1941}, title = {A generalization of Brouwer's fixed point theorem}, journal = {Duke Mathemastical Journal}, volume = {8}, number = {3}, pages = {457--459}, doi = {10.1215/S0012-7094-41-00838-4}, ) @article(nash50, author = {J.F. Nash}, year = {1950}, title = {Equilibrium Points in $n$-Person Games}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, volume = {36}, number = {1}, pages = {48--49}, doi = {10.1073/pnas.36.1.48}, ) @article(SS01, author = {P. Secchi and W.D. Sudderth}, year = {2001}, title = {Stay-in-a-Set Games}, journal = {Int. Journal of Game Theory}, volume = {30}, pages = {479--490}, doi = {10.1007/s001820200092}, ) @article(selten65, author = {R. Selten}, year = {1965}, title = {Spieltheoretische {B}ehandlung eines {O}ligopolmodells mit {N}achfragetr\"agheit}, journal = {Zeitschrift f\"ur die gesamte Staatswissenschaft}, volume = {121}, number = {2}, pages = {301--324 and 667--689}, url = {http://www.jstor.org/stable/40748884}, ) @article(selten75, author = {R. Selten}, year = {1975}, title = {A reexamination of the perfectness concept for equilibrium points in extensive games}, journal = {Int. Journal of Game Theory}, volume = {4}, pages = {25--55}, doi = {10.1007/BF01766400}, ) @inproceedings(thomas02, author = {{\relax Th}omas, W.}, year = {2002}, title = {Infinite Games and Verification}, booktitle = {Proc. 14th Int. Conf. on Computer Aided Verification (CAV'02)}, series = {LNCS}, volume = {2404}, publisher = {Springer}, pages = {58--64}, doi = {10.1007/3-540-45657-0\_5}, note = {Invited Tutorial}, ) @article(LL69, author = {T.M. Liggett, S.A. Lippman}, year = {1969}, title = {Short Notes: {S}tochastic Games With Perfect Information and Time Average Payoff}, journal = {SIAM Review}, volume = {11}, number = {4}, pages = {604--607}, doi = {10.1137/1011093}, ) @inproceedings(ummels08, author = {M. Ummels}, year = {2008}, title = {The Complexity of {N}ash Equilibria in Infinite Multiplayer Games}, booktitle = {Proc. 11th Int. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS'08)}, series = {LNCS}, volume = {4962}, publisher = {Springer}, pages = {20--34}, doi = {10.1007/978-3-540-78499-9\_3}, ) @inproceedings(UW11a, author = {M. Ummels and D. Wojtczak}, year = {2011}, title = {The Complexity of {N}ash Equilibria in Limit-Average Games}, booktitle = {Proc. 22nd Int. Conf. on Concurrency Theory (CONCUR'11)}, series = {LNCS}, volume = {6901}, publisher = {Springer}, pages = {482--496}, doi = {10.1007/978-3-642-23217-6\_32}, ) @article(UW11, author = {M. Ummels and D. Wojtczak}, year = {2011}, title = {The Complexity of {N}ash Equilibria in Stochastic Multiplayer Games}, journal = {Logical Methods in Comp. Science}, volume = {7}, number = {3}, doi = {10.2168/LMCS-7(3:20)2011}, )