Publications
Bertrand and Schnoebelen, 2013
Summary
(2013) Solving stochastic Büchi games on infinite arenas with a finite attractor QAPL 2013 Electronic Proceedings in Theoretical Computer Science vol. 117 Luca Bortolussi and Herbert Wiklicky 116–131 (URL)
BibTeX entry
@INPROCEEDINGS { BS-qapl2013,
LOCATION = { Rome, Italy },
AUTHOR = { Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe },
BOOKTITLE = { QAPL 2013 },
CONFNUM = { 11th },
CONFNAME = { International Workshop on Quantitative Aspects of Programming Languages },
DOI = { 10.4204/EPTCS.117.8 },
EDITOR = { Bortolussi, Luca and Wiklicky, Herbert },
MONTH = { },
PAGES = { 116--131 },
SERIES = { Electronic Proceedings in Theoretical Computer Science },
TITLE = { Solving stochastic B{\"u}chi games on infinite arenas with a finite attractor },
VOLUME = { 117 },
YEAR = { 2013 },
}