Strategy Improvement for Concurrent Reachability and Safety Games (bibtex)
by Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Reference:
Strategy Improvement for Concurrent Reachability and Safety GamesKrishnendu Chatterjee, Luca de Alfaro, Thomas A. HenzingerCoRR, volume abs/1201.2834, 2012.
Bibtex Entry:
@article{CDH12,
title = {Strategy Improvement for Concurrent Reachability and Safety Games},
ee = {http://arxiv.org/abs/1201.2834},
journal = {CoRR},
author = {Krishnendu Chatterjee and Luca de Alfaro and Thomas A. Henzinger},
volume = {abs/1201.2834},
url = {http://arxiv.org/pdf/1201.2834},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
Powered by bibtexbrowser