Login / Signup

Strategy Synthesis for Multi-Dimensional Quantitative Objectives.

Krishnendu ChatterjeeMickael RandourJean-François Raskin
Published in: CONCUR (2012)
Keyphrases