TY  - RPRT
TI  - The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives
AU  - Véronique Bruyère
AU  - Jean-François Raskin
AU  - Alexis Reynouard
AU  - Marie Van Den Bogaard
PY  - 2025
UR  - https://arxiv.org/abs/2412.08547
ID  - 2412.08547
ER  -