Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.

Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen

Browse the full SEFM paper archive.