FTMPST：容错多方会话类型
机器学习
2023-07-14 v3
摘要
多方会话类型旨在抽象地刻画通信协议的结构并验证行为属性。其中一个重要属性是进展性，即无死锁。分布式算法通常类似于多方通信协议。但证明其属性，特别是与进展性密切相关的终止性，可能颇为繁琐。由于分布式算法通常设计用于应对故障，使用会话类型验证分布式算法的第一步是集成容错能力。我们扩展了多方会话类型以应对系统故障，如不可靠通信和进程崩溃。此外，我们通过故障模式增强了进程的语义，这些故障模式可用于表示系统需求（例如故障检测器）。为说明我们的方法，我们分析了 Chandra 和 Toueg 提出的著名轮换协调者算法的一个变体。
引用
@article{arxiv.2204.07729,
title = {Efficient Bayesian Policy Reuse with a Scalable Observation Model in Deep Reinforcement Learning},
author = {Jinmei Liu and Zhi Wang and Chunlin Chen and Daoyi Dong},
journal= {arXiv preprint arXiv:2204.07729},
year = {2023}
}
备注
Published in IEEE Transactions on Neural Networks and Learning Systems, 2023, DOI: 10.1109/TNNLS.2023.3281604