Sign in

Automatic Synthesis of Transiently Correct Network Updates via Petri Games.

Martin DidriksenPeter Gjøl JensenJonathan F. JønlerAndrei-Ioan KatonaSangey D. L. LamaFrederik B. LottrupShahab ShajaratJirí Srba
Published in: Petri Nets (2021)
Keyphrases
  • network structure
  • cooperative game
  • peer to peer
  • computer networks
  • video games
  • communication networks
  • network management
  • leader follower
  • fully automatic
  • data sets
  • network topologies