Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks.

Loïc Paulevé Geoffroy Andrieux Heinz Koeppl

Published in: CAV (2013)

Keyphrases

social networks
network analysis
real life
biological networks
computer networks
finite automata
real world
cellular networks
power law
transitive closure
finite state
network model
community structure
complex networks
end to end
complex systems
state space
query language