Strategy synthesis for multi-dimensional quantitative objectives

TitleStrategy synthesis for multi-dimensional quantitative objectives
Publication TypeJournal Article
Year of Publication2014
AuthorsChatterjee, K, Randour M, Raskin J-F
JournalActa Inf.
Volume51
Pagination129–163
URLhttp://dx.doi.org/10.1007/s00236-013-0182-6
DOI10.1007/s00236-013-0182-6