Work

A Formally Verified Leader Election Algorithm for Autonomous Driving Systems

Year: 2024

Type: conference-paper

Source: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

DOI: 10.1109/rtcsa62462.2024.00019

Authors: Ryuta Kambe, Benjamin Gilby, Yuuki Takano

Institution: TIER IV (Japan)

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4403061363

FWCI: 0.443

Cites: 9

Cited by: 1

Related to: 10