CAP Project

[HahnST017] Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games Hahn, E. M.; Schewe, S.; Turrini, A. and Zhang, L. In Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, pages 266-287, Springer, Lecture Notes in Computer Science 10145, 2017.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-52234-0_15