A survey of stochastic ω-regular games
Krishnendu Chatterjee, Thomas A. HenzingerVolume:
78
Année:
2012
Langue:
english
Pages:
20
DOI:
10.1016/j.jcss.2011.05.002
Fichier:
PDF, 335 KB
english, 2012