A Simple Algorithm for Solving Qualitative Probabilistic Parity Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang. A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. In Swarat Chaudhuri, Azadeh Farzan, editors, Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Volume 9780 of Lecture Notes in Computer Science, pages 291-311, Springer, 2016. [doi]

This author has not been identified. Look up 'Ernst Moritz Hahn' in GoogleThis author has not been identified. Look up 'Sven Schewe' in GoogleThis author has not been identified. Look up 'Andrea Turrini' in GoogleThis author has not been identified. It may be one of the following persons:

Lijun Zhang

Look up 'Lijun Zhang' in Google

runs on WebDSL