Login / Signup
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.
Alexandre David
Kim G. Larsen
Axel Legay
Guangyuan Li
Danny Bøgsted Poulsen
Published in:
ACSD (2014)
Keyphrases
</>
dynamic networks
hybrid automata
network structure
dynamic behavior
metric temporal logic
network analysis
temporal evolution
real world networks
finite state automata
information retrieval
knowledge discovery
random walk
spatial information