Login / Signup

Strategy synthesis for multi-dimensional quantitative objectives.

Krishnendu ChatterjeeMickael RandourJean-François Raskin
Published in: Acta Informatica (2014)
Keyphrases