Information Tracking in Games on Graphs

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

Engineering, Autonomous Systems, Discrete Mathematics +16

On the synthesis of a reactive module

Amir Pnueli, Roni Rosner · 1989 · 1.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +17

Think globally, act locally: decentralized supervisory control

Karen Rudie, W.M. Wonham · IEEE Transactions on Automatic Control · 1992 · 530 citations

Engineering, Computer Science, Systems Engineering +14

Infinite games played on finite graphs

Robert McNaughton · Annals of Pure and Applied Logic · 1993 · 287 citations

Natural Sciences, Computer Science, Mathematics +11