The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives. - Véronique Bruyère; Jean-François Raskin; Alexis Reynouard; Marie van den Bogaard (CoRR, 2024)

The Non-Cooperative Rational Synthesis Problem for SPEs and ω-Regular Objectives. - Véronique Bruyère; Jean-François Raskin; Alexis Reynouard; Marie van den Bogaard (CONCUR, 2025)