Formally verified asymptotic consensus in robust networks.

Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou

Browse the full TACAS paper archive.