Sign in

Distributed Runtime Verification Under Partial Synchrony.

Ritam GangulyAnik MomtazBorzoo Bonakdarpour
Published in: OPODIS (2020)
Keyphrases
  • distributed systems
  • cooperative
  • lightweight
  • distributed environment
  • multi agent
  • peer to peer
  • real world
  • learning algorithm
  • multiscale
  • communication cost
  • case study
  • model checking
  • fault tolerant
  • face verification