TY  - RPRT
TI  - Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
AU  - Thomas Brihaye
AU  - Véronique Bruyère
AU  - Gaspard Reghem
PY  - 2025
UR  - https://arxiv.org/abs/2308.09443
ID  - 2308.09443
ER  -