强弱例外下的交互时态逻辑

强弱例外下的交互时态逻辑

赖贤伟胡山立宁正元王秀丽

Alternating-time temporal logic with strong and weak exceptions

Xian-wei LAI Shan-li HU Zheng-yuan NING Xiu-li WANG

计算机应用 . 2008, (11): 2874 -2876 .