The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives

Documenti analoghi

• Subgame-perfect Equilibria in Mean-payoff Games (journal version)
  di: Brice, Léonard, et al.
  Pubblicazione: (2022)
• As Soon as Possible but Rationally
  di: Bruyère, Véronique, et al.
  Pubblicazione: (2024)
• Games with $ω$-Automatic Preference Relations
  di: Bruyère, Véronique, et al.
  Pubblicazione: (2025)
• Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
  di: Brihaye, Thomas, et al.
  Pubblicazione: (2023)
• An Automata-Based Approach to Games with $ω$-Automatic Preferences
  di: Bruyère, Véronique, et al.
  Pubblicazione: (2026)