Small Progress Measures for Solving Parity Games-Reference-Cited by-同舟云学术

Small Progress Measures for Solving Parity Games

Published:2000 Issue: Volume: Page:290-301
ISSN:0302-9743
Container-title:STACS 2000
language:
Short-container-title:

Author:

Jurdziński Marcin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46541-3_24

Reference20 articles.

1. A. Browne, E. M. Clarke, S. Jha, D. E. Long, and W. Marrero. An improved algorithm for the evaluation of fixpoint expressions. Theoretical Computer Science, 178(1–2):237–255, May 1997.

2. E. A. Emerson and C. S. Jutla. Tree automata, mu-calculus and determinacy (Extended abstract). In Proceedings of 32nd Annual Symposium on Foundations of Computer Science, pages 368–377. IEEE Computer Society Press, 1991.

3. Lect Notes Comput Sci;E. A. Emerson,1993

4. E. Allen Emerson and Charanjit S. Jutla. The complexity of tree automata and logics of programs. In Proceedings of 29th Annual Symposium on Foundations of Computer Science, pages 328–337, White Plains, New York, 24–26 October 1988. IEEE Computer Society Press.

5. E. Allen Emerson and Chin-Laung Lei. Efficient model checking in fragments of the propositional mu-calculus (Extended abstract). In Proceedings, Symposium on Logic in Computer Science, pages 267–278, Cambridge, Massachusetts, 16–18 June 1986. IEEE.

Cited by 173 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rabin Games and Colourful Universal Trees;Lecture Notes in Computer Science;2024

2. Dissecting ltlsynt;Formal Methods in System Design;2023-07-14

3. Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09

4. Justifications and a Reconstruction of Parity Game Solving Algorithms;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

5. Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games;Lecture Notes in Computer Science;2023