Login / Signup

A survey of partial-observation stochastic parity games.

Krishnendu ChatterjeeLaurent DoyenThomas A. Henzinger
Published in: Formal Methods Syst. Des. (2013)
Keyphrases