Reachability Analysis in Dynamically Routed Networks.

Miroslav Svéda Ondrej Rysavý Gayan de Silva Petr Matousek Jaroslav Ráb

Published in: ECBS (2011)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
network resources
social networks
incremental algorithms
state space
network design
optimal solution
xml documents
network structure
changing environment