@inproceedings{ChatterjeeRandourRaskin:Synthesis:CONCUR:2012,
Address = {Berlin, Heidelberg},
Author = {Chatterjee, Krishnendu and Randour, Mickael and Raskin, Jean-Fran\c{c}ois},
BookTitle = {Proceedings of the 23rd International Conference on Concurrency Theory},
File = {Strategy Synthesis for Multi-dimensional Quantitative Objectives - Chatterjee, Randour, Raskin (0) (0) - a - a - v.pdf},
ISBN = {978-3-642-32939-5},
Keywords = {mean-payoff games},
Location = {Newcastle upon Tyne, UK},
Pages = {115--131},
Publisher = {Springer-Verlag},
Series = {CONCUR'12},
Title = {Strategy Synthesis for Multi-dimensional Quantitative Objectives},
URL = {http://dx.doi.org/10.1007/978-3-642-32940-1\_10},
Year = {2012},
acmid = {2403568},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-32940-1\_10},
date-added = {2014-04-22 15:10:44 +0000},
date-modified = {2014-08-15 20:47:39 +0000},
numpages = {17},
doi = {10.1007/978-3-642-32940-1_10}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A