TY  - RPRT
TI  - Formally verified asymptotic consensus in robust networks
AU  - Mohit Tekriwal
AU  - Avi Tachna-Fram
AU  - Jean-Baptiste Jeannin
AU  - Manos Kapritsos
AU  - Dimitra Panagou
PY  - 2024
UR  - https://arxiv.org/abs/2202.13833
ID  - 2202.13833
ER  -