"Stackelberg-Pareto Synthesis (Full Version)."

Véronique Bruyère, Jean-François Raskin, Clément Tamines (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics