A Formally Verified Leader Election Algorithm for Autonomous Driving Systems.

Ryuta Kambe, Benjamin Gilby, Yuuki Takano

Browse the full RTCSA paper archive.