Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives

Documenti analoghi

• Multi-weighted Reachability Games and Their Application to Permissiveness
  di: Brihaye, Thomas, et al.
  Pubblicazione: (2023)
• The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives
  di: Bruyère, Véronique, et al.
  Pubblicazione: (2024)
• 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)
• Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
  di: Avni, Guy, et al.
  Pubblicazione: (2024)