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
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complete Game Logic with Sabotage;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Robust computation tree logic;Innovations in Systems and Software Engineering;2024-03-20
3. Ill-Typed Programs Don’t Evaluate;Proceedings of the ACM on Programming Languages;2024-01-05
4. Fully Generalized Reactivity(1) Synthesis;Lecture Notes in Computer Science;2024
5. Extensible Proof Systems for Infinite-State Systems;ACM Transactions on Computational Logic;2023-11-18