Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (bibtex)
by Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
Reference:
Efficient Controller Synthesis for Consumption Games with Multiple Resource TypesTomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr NovotnýCAV, pages 23-38, 2012.
Bibtex Entry:
@inproceedings{BCKN12,
title = {Efficient Controller Synthesis for Consumption Games with Multiple
Resource Types},
url = {http://arxiv.org/pdf/1202.0796.pdf?origin=publication_detail},
booktitle = {CAV},
author = {Tom{\'a}s Br{\'a}zdil and Krishnendu Chatterjee and Anton\'{\i}n
Kucera and Petr Novotn{\'y}},
year = {2012},
pages = {23-38},
}
Powered by bibtexbrowser