Avi Tachna-Fram

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Parameter Tuning

Network Analysis

Directed Networks

Top Venues

Publications

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