Strategy improvement for concurrent reachability and turn-based stochastic safety games (bibtex)
by Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Reference:
Strategy improvement for concurrent reachability and turn-based stochastic safety gamesKrishnendu Chatterjee, Luca de Alfaro, Thomas A. HenzingerJ. Comput. Syst. Sci., volume 79, number 5, pages 640-657, 2013.
Bibtex Entry:
@article{ChatterjeeAH13,
title = {Strategy improvement for concurrent reachability and turn-based stochastic
safety games},
ee = {http://dx.doi.org/10.1016/j.jcss.2012.12.001},
journal = {J. Comput. Syst. Sci.},
author = {Krishnendu Chatterjee and Luca de Alfaro and Thomas A. Henzinger},
number = {5},
volume = {79},
url = {/pubpdf/Strategy_improvement_for_concurrent_reachability_and_turn-based_stochastic_safety_games.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {640-657},
}
Powered by bibtexbrowser