Shumao Zhai

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Reactive Systems

Autonomous Agents

Top Venues

Publications

Shumao Zhai, Xiaozhou Li, Ning Ge
HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. ICSE Companion (2023)