Formally verified asymptotic consensus in robust networks.

Mohit Tekriwal Avi Tachna-Fram Jean-Baptiste Jeannin Manos Kapritsos Dimitra Panagou

Published in: CoRR (2022)

Keyphrases

directed networks
worst case
case study
social networks
real time
real world
learning algorithm
information systems
multiscale
video sequences
computationally efficient
frequency domain
wireless networks
network analysis
communication delays