Login / Signup
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.
Lingzhi Ouyang
Yu Huang
Binyu Huang
Hengfeng Wei
Xiaoxing Ma
Published in:
CoRR (2023)
Keyphrases
</>
web services
high level
multi agent
multi agent systems
highly reliable
cooperative
autonomous agents
reinforcement learning
software systems
multiagent systems
information sharing
service discovery
specification language