Topological-temporal properties of evolving networks.

Alberto Ceria Shlomo Havlin Alan Hanjalic Huijuan Wang

Published in: J. Complex Networks (2022)

Keyphrases

temporal properties
model checking
formal methods
topological features
artificial intelligence
possibility theory
decision making
logic programs
complex networks
temporal logic