TY - RPRT TI - Stackelberg-Pareto Synthesis (Full Version) AU - Véronique Bruyère AU - Jean-François Raskin AU - Clément Tamines PY - 2021 UR - https://arxiv.org/abs/2102.08925 ID - 2102.08925 ER -