Quantitative stochastic parity games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger. Quantitative stochastic parity games. In J. Ian Munro, editor, Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004. pages 121-130, SIAM, 2004. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Marcin Jurdzinski' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in Google

runs on WebDSL