On formal reachability analysis in networks with dynamic behavior.

Gayan de Silva Ondrej Rysavý Petr Matousek Miroslav Svéda

Published in: Telecommun. Syst. (2013)

Keyphrases

dynamic behavior
reachability analysis
dynamic networks
model checking
markov decision processes
timed automata
incremental algorithms
speed control
social networks
complex networks
state space
community structure
biological networks
search algorithm
low cost