Strategy Synthesis for Multi-dimensional Quantitative Objectives

TitleStrategy Synthesis for Multi-dimensional Quantitative Objectives
Publication TypeJournal Article
Year of Publication2012
AuthorsChatterjee, K, Randour M, Raskin J-F
JournalCoRR
Volumeabs/1201.5073
URLhttp://arxiv.org/abs/1201.5073