Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols. - Kaya Alpturer; Gerald Huang; Ron van der Meyden (PODC, 2025)