As Soon as Possible but Rationally

Documenti analoghi

• Games with $ω$-Automatic Preference Relations
  di: Bruyère, Véronique, et al.
  Pubblicazione: (2025)
• An Automata-Based Approach to Games with $ω$-Automatic Preferences
  di: Bruyère, Véronique, et al.
  Pubblicazione: (2026)
• The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives
  di: Bruyère, Véronique, et al.
  Pubblicazione: (2024)
• Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
  di: Brihaye, Thomas, et al.
  Pubblicazione: (2023)
• Verification of Correlated Equilibria in Concurrent Reachability Games
  di: Rajasekaran, Senthil, et al.
  Pubblicazione: (2026)