Strategy Synthesis for Multi-Dimensional Quantitative Objectives (bibtex)
by Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
Reference:
Strategy Synthesis for Multi-Dimensional Quantitative ObjectivesKrishnendu Chatterjee, Mickael Randour, Jean-François RaskinCONCUR, pages 115-131, 2012.
Bibtex Entry:
@inproceedings{CRR12,
title = {Strategy Synthesis for Multi-Dimensional Quantitative Objectives},
url = {http://arxiv.org/pdf/1201.5073.pdf?origin=publication_detail},
booktitle = {CONCUR},
author = {Krishnendu Chatterjee and Mickael Randour and Jean-Fran\c{c}ois Raskin},
year = {2012},
pages = {115-131},
}
Powered by bibtexbrowser