Generalized predecessor existence problems for Boolean finite dynamical systems on directed graphs

Nondeterministic Space is Closed under Complementation

Neil Immerman · SIAM Journal on Computing · 1988 · 649 citations

Computing, Computer Science, Mathematics +11

Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems

Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio et al. · 2014 · 181 citations

Computing, Autonomous Systems, Computer Science +11

Elements of a theory of simulation II: sequential dynamical systems

Chris Barrett, Henning Mortveit, Christian M. Reidys · Applied Mathematics and Computation · 2000 · 103 citations

Engineering, Computer Science, Mathematics +11

Complexity of reachability problems for finite discrete dynamical systems

Christopher L. Barrett, Harry B. Hunt, Madhav Marathe et al. · Journal of Computer and System Sciences · 2006 · 82 citations

Computing, Computer Science, Mathematics +14

Predecessor existence problems for finite discrete dynamical systems

Chris Barrett, Harry B. Hunt, Madhav Marathe et al. · Theoretical Computer Science · 2007 · 55 citations

Natural Sciences, Mathematics, Differential Equations +13