C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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