@misc{indiciaecff79b57db48,
  title = {Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives},
  author = {Thomas Brihaye and Véronique Bruyère and Gaspard Reghem},
  year = {2025},
  url = {https://arxiv.org/abs/2308.09443},
  note = {Source identifier: 2308.09443}
}