@收款{zbMATH07104905，作者＝{Merten，Samuel和Bagnall，Alexander和Stewart，Gordon}，标题={毫无遗憾地验证学习。{从}算法博弈论到具有机械化复杂性保证的分布式系统}，BookTitle={编程语言和系统。2018年第27届欧洲编程研讨会，ESOP，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14-20日。诉讼}，国际标准图书编号={978-3-319-89883-4；978-3-3169-89884-1}，页码={561--588}，年份={2018}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-89884-1_20}，关键词={68M14,68T05,68T15,91A10,91A80}，zbMATH={7104905}，Zbl={1418.68018}}