Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning

Fault-tolerant algorithms, such as <italic>Reliable Broadcast</italic>, assure the correct operation of modern distributed systems, even when some of the system nodes fail. However, the development of distributed algorithms is a manual and complex process, where slight changes in require...

Full description

Bibliographic Details
Main Authors: Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Access
Subjects:
Fault-tolerant distributed algorithms
reliable broadcast
program synthesis
reinforcement learning
program verification
model-checking
Online Access:https://ieeexplore.ieee.org/document/10155129/

Internet

https://ieeexplore.ieee.org/document/10155129/

Similar Items