Publications

Bertrand and Schnoebelen, 2013

Summary

Nathalie Bertrand and Philippe Schnoebelen (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 },
}