塞缪尔·梅尔滕;亚历山大·巴格纳尔;戈登·斯图尔特 毫无遗憾地验证了学习。从算法博弈论到具有机械化复杂性保证的分布式系统。 （英语） Zbl 1418.68018号 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10801, 561-588 (2018).MSC公司：64岁以下 68T05型 68吨15 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Merten}等人，Lect。注释计算。科学。10801、561--588（2018；Zbl 1418.68018） 全文： 内政部
亚历山大·巴格纳尔;塞缪尔·梅尔滕;戈登·斯图尔特 中的算法博弈理论库Ssreflect/Coq公司. （英语） Zbl 1451.68335号 J.福尔马利兹。原因。 10, 67-95 (2017).MSC公司：68V20型 68伏15 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagnall}等人，J.Formaliz。原因。10，67-95（2017年；兹比尔1451.68335） 全文： 内政部
亚历山大·巴格纳尔;塞缪尔·梅尔滕;戈登·斯图尔特 简要声明：认证乘法权重更新：验证学习无遗憾。 （英语） Zbl 1380.68329号 2017年7月25日至27日在美国华盛顿特区举行的2017年ACM分布式计算原理研讨会论文集，PODC’17。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4992-5）。459-461 (2017).MSC公司：68T05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagnall}等人，in：第36届ACM分布式计算原理研讨会论文集，PODC’17，华盛顿特区，美国，2017年7月25-27日。纽约州纽约市：计算机协会（ACM）。459--461（2017；Zbl 1380.68329） 全文： 内政部