Reactive synthesis for relay-explorer consensus with intermittent communication