Login / Signup
Formally verified asymptotic consensus in robust networks.
Mohit Tekriwal
Avi Tachna-Fram
Jean-Baptiste Jeannin
Manos Kapritsos
Dimitra Panagou
Published in:
TACAS (1) (2024)
Keyphrases
</>
network analysis
directed networks
real world
data mining
machine learning
learning algorithm
artificial intelligence
computer vision
image segmentation
computationally efficient
complex systems
network model
parameter tuning
heterogeneous networks
network size