Distributed Runtime Verification Under Partial Synchrony.

Ritam Ganguly Anik Momtaz Borzoo 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