Reachability problems for sequential dynamical systems with threshold functions

Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns. Reachability problems for sequential dynamical systems with threshold functions. Theoretical Computer Science, 295:41-64, 2003. [doi]

Authors

Christopher L. Barrett

This author has not been identified. Look up 'Christopher L. Barrett' in Google

Harry B. Hunt III

This author has not been identified. Look up 'Harry B. Hunt III' in Google

Madhav V. Marathe

This author has not been identified. Look up 'Madhav V. Marathe' in Google

S. S. Ravi

This author has not been identified. Look up 'S. S. Ravi' in Google

Daniel J. Rosenkrantz

This author has not been identified. Look up 'Daniel J. Rosenkrantz' in Google

Richard Edwin Stearns

This author has not been identified. Look up 'Richard Edwin Stearns' in Google