1. On the synthesis of a reactive module;Pnueli,1989
2. Equilibrium points in n-person games;Nash,1950
3. Comments on the interpretation of game theory;Rubinstein;Econometrica,1991
4. Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit;Selten;Z. Gesamte Staatswiss.,1965
5. Computer aided synthesis: a game-theoretic approach;Bruyère,2017