Author:
Bradfield Julian,Walukiewicz Igor
Publisher
Springer International Publishing
Reference125 articles.
1. de Alfaro, L., Majumdar, R.: Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2), 374–397 (2004)
2. Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. In: Int. Symp. on Foundations of Computer Science, pp. 100–109. IEEE, Piscataway (1997)
3. Andersen, H.: Model checking boolean graphs. Theor. Comput. Sci. 126(1), 3–30 (1994)
4. Andersen, H.R.: Partial model checking. In: Ann. Symp. on Logic in Computer Science, pp. 398–407. IEEE, Piscataway (1995)
5. Andréka, H., van Benthem, J., Neméti, I.: Modal logics and bounded fragments of predicate logic. J. Philos. Log. 27, 217–274 (1998)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ill-Typed Programs Don’t Evaluate;Proceedings of the ACM on Programming Languages;2024-01-05
2. Extensible Proof Systems for Infinite-State Systems;ACM Transactions on Computational Logic;2023-11-18
3. Stochastic Games with Synchronization Objectives;Journal of the ACM;2023-05-23
4. A Robust Theory of Series Parallel Graphs;Proceedings of the ACM on Programming Languages;2023-01-09
5. HFL(Z) Validity Checking for Automated Program Verification;Proceedings of the ACM on Programming Languages;2023-01-09