@inbook{tekriwal-2024-formally, title={Formally verified asymptotic consensus in robust networks}, ISBN={9783031572463}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-57246-3_14}, DOI={10.1007/978-3-031-57246-3_14}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems}, publisher={Springer Nature Switzerland}, author={Tekriwal, Mohit and Tachna-Fram, Avi and Jeannin, Jean-Baptiste and Kapritsos, Manos and Panagou, Dimitra}, year={2024}, pages={248–267} }