Pages that link to "Item:Q3569732"
From MaRDI portal
The following pages link to Equilibria in Quantitative Reachability Games (Q3569732):
Displaying 16 items.
- Reachability is decidable in the numbers game (Q1331936) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- On equilibria in quantitative games with reachability/safety objectives (Q1678747) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Equilibria in multi-player multi-outcome infinite sequential games (Q2225601) (← links)
- Robust Equilibria in Mean-Payoff Games (Q2811341) (← links)
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (Q2965484) (← links)
- Quantitative games with interval objectives (Q2978528) (← links)
- Reachability games for linear hybrid systems (Q2986753) (← links)
- (Q3384162) (← links)
- Multiplayer Cost Games with Simple Nash Equilibria (Q3455836) (← links)
- Incentive Stackelberg Mean-Payoff Games (Q4571136) (← links)
- On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games (Q4913770) (← links)
- (Q5079732) (← links)
- Alternating Reachability Games with Behavioral and Revenue Objectives (Q5222974) (← links)
- (Q5351977) (← links)