Strategy Synthesis for Multi-Dimensional Quantitative Objectives.

Krishnendu Chatterjee, Mickael Randour, Jean-Franois Raskin

Browse the full CONCUR paper archive.