Under-approximating Cut Sets for Reachability in Large Scale Automata Networks
Loïc PaulevéGeoffroy AndrieuxHeinz KoepplPublished in: CoRR (2013)
Keyphrases
- real world
- social networks
- state space
- small scale
- heterogeneous networks
- computer networks
- regular expressions
- finite state
- real time
- complex networks
- cellular automata
- network analysis
- hidden markov models
- biological networks
- transitive closure
- artificial neural networks
- cellular networks
- telecommunication networks
- network size
- exact computation