Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Alur, R., Hzenzinger, T.A., Kupferman, O.: Alternating-Time Temporal Logic. Journal of the ACM 49, 672–713 (2002)
2. Wilke, T.: Alternating Tree Automata, Parity Games, and μ-calculus. Bull. Soc. Math. Belg. 8(2) (May 2001)
3. Moszkowski, B.: Reasoning about digital circuits, Ph.D Thesis, Department of Computer Science, Stanford University, TRSTAN-CS-83-970 (1983)
4. Duan, Z., Tian, C., Zhang, L.: A Decision Procedure for Propositional Projection Temporal Logic with Infinite Models. Acta Informatica 45(1), 43–78 (2008)
5. Pnueli, A.: The temporal logic of programs. In: Proc. 18th IEEE Symp. Found. of Comp. Sci., pp. 46–57 (1977)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Alternating Projection Temporal Epistemic Logic;Structured Object-Oriented Formal Language and Method;2023
2. An Unified Model Checking Approach of APTL;Structured Object-Oriented Formal Language and Method;2021
3. A Planning Approach Based on APTL;Structured Object-Oriented Formal Language and Method;2020
4. Symbolic Model Checking for Alternating Projection Temporal Logic;Combinatorial Optimization and Applications;2015