@收款{zbMATH06635972，作者={Guelev，Dimitar P.和Dam，Mads}，标题={有限控制{{（\pi\）}}-过程}的认知谓词{{\（\mathrm{CTL}^{*}\）}，BookTitle={2011年11月10日至12日在西班牙奥苏纳举行的关于模态方法的第七次研讨会（M4M’2011）和关于多智能体系统逻辑方面的第四次研讨会（LAMAS’2011）的会议记录}，页码={229--243}，年份={2011}，出版商＝{阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2011.10.118}，关键词={68Q60,03B42,03B44,68Q85}，zbMATH＝{6635972}，Zbl={1347.68225}}