SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.

Takehide Soh Morgan Magnin Daniel Le Berre Mutsunori Banbara Naoyuki Tamura

Published in: CMSB (2023)

Keyphrases

cellular automata
social networks
network structure
answer set programming
phase space
network analysis
neural network
finite state
ai planning
support vector
dynamical systems
regular expressions
network design
network size
bounded model checking
lattice gas