A survey of partial-observation stochastic parity games (bibtex)
by Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Reference:
A survey of partial-observation stochastic parity gamesKrishnendu Chatterjee, Laurent Doyen, Thomas A. HenzingerFormal Methods in System Design, volume 43, number 2, pages 268-284, 2013.
Bibtex Entry:
@article{Chatterjee0H13,
title = {A survey of partial-observation stochastic parity games},
ee = {http://dx.doi.org/10.1007/s10703-012-0164-2},
journal = {Formal Methods in System Design},
author = {Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger},
number = {2},
volume = {43},
url = {/pubpdf/Survey_Partial-Observation_Stochastic_Parity_Games.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {268-284},
}
Powered by bibtexbrowser