Testing Phase Space Properties of Synchronous Dynamical Systems with Nested Canalyzing Local Functions
AAMAS, pp. 1585-1594, 2018.
Discrete graphical dynamical systems serve as effective formal models in many contexts, including simulations of agent-based models, propagation of contagions in social networks and study of biological phenomena. A class of Boolean functions, called nested canalyzing functions (NCFs), has been used as a good model of certain biological ph...More
Full Text (Upload PDF)
PPT (Upload PPT)