交替投影时序逻辑（alternating projection temporal logic,简称APTL）公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描......

由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑(alternating projectiontemporal logic,简称APTL)的模型......