Formally verified asymptotic consensus in robust networks. - Mohit Tekriwal; Avi Tachna-Fram; Jean-Baptiste Jeannin; Manos Kapritsos; Dimitra Panagou (TACAS (1), 2024)