tekriwal-2024-formally:
  type: chapter
  title: Formally verified asymptotic consensus in robust networks
  author:
  - Tekriwal, Mohit
  - Tachna-Fram, Avi
  - Jeannin, Jean-Baptiste
  - Kapritsos, Manos
  - Panagou, Dimitra
  date: 2024
  page-range: 248-267
  url: http://dx.doi.org/10.1007/978-3-031-57246-3_14
  serial-number:
    doi: 10.1007/978-3-031-57246-3_14
    isbn: '9783031572463'
    issn: 1611-3349
  parent:
    type: book
    title: Tools and Algorithms for the Construction and Analysis of Systems
    publisher: Springer Nature Switzerland