Sign in

Topological-temporal properties of evolving networks.

Alberto CeriaShlomo HavlinAlan HanjalicHuijuan 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