@第{zbMATH07395151条,作者={Gleirscher,Mario and Calinescu,Radu and Woodcock,Jim},Title={{RiskStructures}:风险感知机器的设计代数},FJournal={计算的形式方面},日志={正式Asp.Compute.},ISSN={0934-5043},体积={33},数字={4-5},页码={763--802},年份={2021},语言={英语},DOI={10.1007/s00165-021-00545-4},关键词={93C85,91B05},zbMATH={7395151},Zbl={1521.93120}}