Equilibria in quantitative reachability games
From MaRDI portal
Publication:3569732
Recommendations
Cited in
(22)- Incentive Stackelberg mean-payoff games
- An existence theorem of Nash equilibrium in Coq and Isabelle
- Measuring Permissivity in Finite Games
- Robust equilibria in mean-payoff games
- On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
- Equilibria in multi-player multi-outcome infinite sequential games
- Reachability games for linear hybrid systems
- Nash equilibria for reachability objectives in multi-player timed games
- Equilibria for games with combined qualitative and quantitative objectives
- Multiplayer cost games with simple Nash equilibria
- Computing equilibria in two-player timed games via turn-based finite games
- Computing branching distances with quantitative games
- Alternating Reachability Games with Behavioral and Revenue Objectives
- Reachability is decidable in the numbers game
- On equilibria in quantitative games with reachability/safety objectives
- A note on the Nash equilibria of some multi-player reachability/safety games
- Subgame perfection for equilibria in quantitative reachability games
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
- scientific article; zbMATH DE number 6767615 (Why is no real title available?)
- Extending finite-memory determinacy to multi-player games
- scientific article; zbMATH DE number 7533335 (Why is no real title available?)
- Quantitative games with interval objectives
This page was built for publication: Equilibria in quantitative reachability games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569732)