@第{zbMATH06431925条，作者={西马蒂、亚历山德罗和米凯利、安德里亚和罗维里、马尔科}，Title={使用{SMT}}解决不确定性时间问题的强可控性，FJournal={约束}，日志={约束}，ISSN={1383-7133}，体积={20}，数字={1}，页码={1--29}，年份={2015年}，语言={英语}，DOI={10.1007/s10601-014-9167-5}，关键词={90B36}，zbMATH={6431925}，Zbl={1314.90043}}