Parosh Aziz Abdulla & Bengt Jonsson (1999):
On the Existence of Network Invariants for Verifying Parameterized Systems.
In: Correct System Design, Recent Insight and Advances,
Lecture Notes in Computer Science 1710.
Springer-Verlag,
pp. 180–197,
doi:10.1007/3-540-48092-7_9.
Patricia Bouyer, Romain Brenguier, Nicolas Markey & Michael Ummels (2012):
Concurrent games with ordered objectives.
In: Proc. 15th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'12),
Lecture Notes in Computer Science 7213.
Springer-Verlag,
pp. 301–315,
doi:10.1007/978-3-642-28729-9_20.
Patricia Bouyer, Nicolas Markey & Steen Vester (2014):
Nash Equilibria in Symmetric Games with Partial Observation.
Technical Report LSV-14-01.
Lab. Spécification & Vérification, ENS Cachan, France.
Krishnendu Chatterjee, Thomas A. Henzinger & Nir Piterman (2007):
Strategy Logic.
In: Proc. 18th International Conference on Concurrency Theory (CONCUR'07),
Lecture Notes in Computer Science 4703.
Springer-Verlag,
pp. 59–73,
doi:10.1007/978-3-540-74407-8_5.
Krishnendu Chatterjee, Rupak Majumdar & Marcin Jurdziński (2004):
On Nash equilibria in stochastic games.
In: Proc. 18th International Workshop on Computer Science Logic (CSL'04),
Lecture Notes in Computer Science 3210.
Springer-Verlag,
pp. 26–40,
doi:10.1007/978-3-540-30124-0_6.
Arnaud Da Costa, François Laroussinie & Nicolas Markey (2010):
ATL with strategy contexts: Expressiveness and Model Checking.
In: Proc. 30th Conferentce on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'10),
Leibniz International Proceedings in Informatics 8.
Leibniz-Zentrum für Informatik,
pp. 120–132,
doi:10.4230/LIPIcs.FSTTCS.2010.120.
Partha Dasgupta & Eric Maskin (1986):
The Existence of Equilibrium in Discontinuous Economic Games, 1: Theory.
The Review of Economic Studies 53(1),
pp. 1–26,
doi:10.2307/2297589.
E. Allen Emerson & A. Prasad Sistla (1996):
Symmetry and model checking.
Formal Methods in System Design 9(1-2),
pp. 105–131,
doi:10.1007/BF00625970.
Steven M. German & A. Prasad Sistla (1992):
Reasoning about Systems with Many Processes.
Journal of the ACM 39(3),
pp. 675–735,
doi:10.1145/146637.146681.
Thomas A. Henzinger (2005):
Games in system design and verification.
In: Proc. 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'05),
pp. 1–4,
doi:10.1145/1089933.1089935.
John F. Nash, Jr. (1950):
Equilibrium Points in nLaTeX Error: Bad math environment delimiterSee the LaTeX manual or LaTeX Companion for explanation.Your command was ignored.Type I <command> <return> to replace it with another command,or <return> to continue without it.-Person Games.
Proc. National Academy of Sciences 36(1),
pp. 48–49,
doi:10.1073/pnas.36.1.48.
John F. Nash, Jr. (1951):
Non-cooperative Games.
Annals of Mathematics 54(2),
pp. 286–295,
doi:10.2307/1969529.
Amir Pnueli & Roni Rosner (1990):
Distributed Reactive Systems Are Hard to Synthesize.
In: Proc. 31st Annual Symposium on Foundations of Computer Science (FOCS'90).
IEEE Computer Society Press,
pp. 746–757,
doi:10.1109/FSCS.1990.89597.
Michael Ummels & Dominik Wojtczak (2011):
The Complexity of Nash Equilibria in Stochastic Multiplayer Games.
Logical Methods in Computer Science 7(3:20),
doi:10.2168/LMCS-7(3:20)2011.