Strategy Synthesis for Multi-Dimensional Quantitative Objectives

TitleStrategy Synthesis for Multi-Dimensional Quantitative Objectives
Publication TypeConference Paper
Year of Publication2012
AuthorsChatterjee, K, Randour M, Raskin J-F
Conference Name{CONCUR} 2012 - Concurrency Theory - 23rd International Conference, {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-642-32940-1_10
DOI10.1007/978-3-642-32940-1_10