Complexity of reachability problems for finite discrete dynamical systems
From MaRDI portal
Recommendations
Cites work
- A Theory of Communicating Sequential Processes
- Adversarial models in evolutionary game dynamics
- Asynchronous automata versus asynchronous cellular automata
- Cellular automata and the sciences of complexity. A review of some outstanding problems in the theory of cellular automata.
- Computability with low-dimensional dynamical systems
- Decomposition and simulation of sequential dynamical systems
- Discrete, sequential dynamical systems
- Elements of a theory of computer simulation. I
- Elements of a theory of simulation. III: Equivalence of SDS.
- Equivalence relations on finite dynamical systems
- Evolutionary games and computer simulations.
- Finite automata-models for the investigation of dynamical systems
- General-Purpose Computation with Neural Networks: A Survey of Complexity Theoretic Results
- Generalized shifts: unpredictability and undecidability in dynamical systems
- scientific article; zbMATH DE number 4058875 (Why is no real title available?)
- scientific article; zbMATH DE number 4070331 (Why is no real title available?)
- scientific article; zbMATH DE number 4074492 (Why is no real title available?)
- scientific article; zbMATH DE number 21231 (Why is no real title available?)
- scientific article; zbMATH DE number 149060 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 566078 (Why is no real title available?)
- scientific article; zbMATH DE number 1741013 (Why is no real title available?)
- scientific article; zbMATH DE number 1848281 (Why is no real title available?)
- scientific article; zbMATH DE number 2102770 (Why is no real title available?)
- scientific article; zbMATH DE number 816973 (Why is no real title available?)
- scientific article; zbMATH DE number 1405664 (Why is no real title available?)
- scientific article; zbMATH DE number 3328721 (Why is no real title available?)
- Inversion of 2D cellular automata: Some complexity results
- On acyclic orientations and sequential dynamical systems
- On Communicating Finite-State Machines
- On some relations between dynamical systems and transition systems
- On the complexity of verifying concurrent transition systems
- On the computational complexity of finite cellular automata
- On the computational power of dynamical systems and hybrid systems
- On the computational power of neural nets
- On the computational power of totalistic cellular automata
- On the Limit Sets of Cellular Automata
- On totalistic systolic networks
- One-way cellular automata on Cayley graphs
- Proving liveness for networks of communicating finite state machines
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Reachability problems for sequential dynamical systems with threshold functions.
- Simulating quadratic dynamical systems is PSPACE-complete (preliminary version)
- Transient length in sequential iteration of threshold functions
- Unpredictability and undecidability in dynamical systems
Cited in
(32)- Does the lit-only restriction make any difference for the \(\sigma \)-game and \(\sigma ^+\)-game?
- Reachability problems for sequential dynamical systems with threshold functions.
- Inhibiting diffusion of complex contagions in social networks: theoretical and experimental results
- Generalized predecessor existence problems for Boolean finite dynamical systems on directed graphs
- A computational study of \(f\)-reversible processes on graphs
- Complexity of local, global and universality properties in finite dynamical systems
- Dichotomy results for fixed point counting in Boolean dynamical systems
- Inferring local transition functions of discrete dynamical systems from observations of system behavior
- Computational complexity studies of synchronous Boolean finite dynamical systems on directed graphs
- Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations
- On the Quantifier-Free Dynamic Complexity of Reachability
- Complexity of inferring local transition functions of discrete dynamical systems
- Computational complexity studies of synchronous Boolean finite dynamical systems
- scientific article; zbMATH DE number 1241943 (Why is no real title available?)
- Attractor stability in nonuniform Boolean networks
- Limit cycle structure for dynamic bi-threshold systems
- scientific article; zbMATH DE number 1848281 (Why is no real title available?)
- A framework for simulating multiple contagions over multiple networks
- Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions
- Generalized predecessor existence problems for Boolean finite dynamical systems
- Agent-based modeling, mathematical formalism for
- A note on the undecidability of the reachability problem for o-minimal dynamical systems
- Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems
- Synchronous Boolean finite dynamical systems on directed graphs over XOR functions
- scientific article; zbMATH DE number 7724206 (Why is no real title available?)
- UNCERTAINTY VISUALIZATION FOR CHARACTERIZING HETEROGENEOUS HUMAN BEHAVIORS IN DISCRETE DYNAMICAL SYSTEM MODELS
- Asynchronous, finite dynamical systems
- The hardness of local certification of finite-state dynamics
- Intrinsic universality in automata networks. II: Glueing and gadgets
- Reversible iterative graph processes
- Synchronous dynamical systems on directed acyclic graphs: complexity and algorithms
- The conversion set problem on graphs
This page was built for publication: Complexity of reachability problems for finite discrete dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856411)
