![](/img/cover-not-exists.png)
A survey of partial-observation stochastic parity games
Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A.Volume:
43
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-012-0164-2
Date:
October, 2013
File:
PDF, 609 KB
english, 2013