Assume-admissible synthesis

Equilibrium points in <i>n</i> -person games

John F. Nash · Proceedings of the National Academy of Sciences · 1950 · 7.3K citations · Full text

Social Sciences, Economics, Behavioral Economics +10

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Game theory in wireless and communication networks: theory, models, and applications

Choice Reviews Online · 2012 · 916 citations

Computing, Communication, Computer Science +17

Strategy logic

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman · Information and Computation · 2010 · 197 citations

Social Sciences, Computer Science, Mathematics +15