@misc{indiciae3f13531253f1,
  title = {The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives},
  author = {Véronique Bruyère and Jean-François Raskin and Alexis Reynouard and Marie Van Den Bogaard},
  year = {2025},
  url = {https://arxiv.org/abs/2412.08547},
  note = {Source identifier: 2412.08547}
}