Information and Computation · 2010 · 197 citations · 22 references
Social SciencesComputer ScienceMathematicsGame TheoryLogicTheory Of ComputationFirst-order LogicNash EquilibriumNoncooperative Game TheoryZero-sum GamesComputational Game TheoryFinite Zero-sum GamesGame FormalizationGame Theoretic ReasoningNash Equilibrium ComputationNash Equilibrium ProblemsTree AutomataTwo-player Games
22
The control of discrete event systems
Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations
Results on the propositional μ-calculus
Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations
Humanities, Mathematics, Logic +4
On the synthesis of a reactive module
Amir Pnueli, Roni Rosner · 1989 · 1.4K citations · Full text
Alternating-time temporal logic
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations