@第{zbMATH06833666条，作者={Wu，Yi-Chin和Raman，Vasumathi和Rawlings，Blake C.和Lafortune，St{’e}phane和Seshia，Sanjit A.}，标题＝{模糊策略的合成以确保隐私和实用性}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={60}，数字={1}，页码={107--131}，年份={2018年}，语言={英语}，DOI={10.1007/s10817-017-9420-x}，关键词={68P27,68Q45,68Q85,91A80}，URL={escholarship.org/uc/item/0p21098v}，zbMATH={6833666}，Zbl={1426.68085}}