@第{zbMATH06627930条，作者={Kupferman、Orna和Perelli、Giuseppe和Vardi、Moshe Y.}，标题={理性环境合成}，FJournal={数学与人工智能年鉴}，Journal＝｛Ann.Math.Artif.Intell.｝，ISSN={1012-2443}，体积={78}，数字={1}，页码={3--20}，年份={2016年}，语言={英语}，DOI={10.1007/s10472-016-9508-8}，关键词={68Q60,03B70,68T42,91A80}，zbMATH={6627930}，Zbl={1372.68173}}