Winning Regions of Pushdown Parity Games: A Saturation Method

Matthew Hague, C.-H. Luke Ong

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Article

1 results

2011

A saturation method for the modal μ-calculus over pushdown systems
Hague, M. & Ong, C.-H., May 2011, In: Information and Computation. 209, 5, p. 799–821
Research output: Contribution to journal › Article › peer-review