TY  - RPRT
TI  - Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols
AU  - Kaya Alpturer
AU  - Gerald Huang
AU  - Ron van der Meyden
PY  - 2025
UR  - https://arxiv.org/abs/2505.02353
ID  - 2505.02353
ER  -