Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm. - Ryuta Kambe; Makoto Kurihara; Tetsuhiro Kawaguchi; Ryohei Kawabuchi; Yuuki Takano (J. Inf. Process., 2025)