The complexity of multi-mean-payoff and multi-energy games

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

Formal Language, Engineering, Discrete Event System +14

Stochastic Games

Lloyd S. Shapley · Proceedings of the National Academy of Sciences · 1953 · 2.4K citations · Full text

Biology, Psychoneuroimmunology, Dysbiosis +15

On the synthesis of a reactive module

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

Tree Language, Reactive Module, Engineering +15

The directed subgraph homeomorphism problem

Steven Fortune, John E. Hopcroft, James Wyllie · Theoretical Computer Science · 1980 · 750 citations

Directed Graph, Engineering, Network Science +4

A characterization of the minimum cycle mean in a digraph

Richard M. Karp · Discrete Mathematics · 1978 · 742 citations

Directed Graph, Network Science, Graph Theory +8