@misc{indiciae5978a481a5aa, title = {Stackelberg-Pareto Synthesis (Extended Version)}, author = {Véronique Bruyère and Baptiste Fievet and Jean-François Raskin and Clément Tamines}, year = {2022}, url = {https://arxiv.org/abs/2203.01285}, note = {Source identifier: 2203.01285} }