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