Pages that link to "Item:Q2941757"
From MaRDI portal
The following pages link to Pure Nash Equilibria in Concurrent Deterministic Games (Q2941757):
Displaying 24 items.
- Synthesis with rational environments (Q314471) (← links)
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- Quantum games: a review of the history, current state, and interpretation (Q1994770) (← links)
- Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives (Q2029600) (← links)
- Multi-player equilibria verification for concurrent stochastic games (Q2056983) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Dynamic resource allocation games (Q2286736) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Deterministic Negotiations: Concurrency for Free (Q3190106) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- (Q3384875) (← links)
- Finding Pure Nash Equilibrium of Graphical Game Via Constraints Satisfaction Approach (Q3611934) (← links)
- (Q4798647) (← links)
- (Q4972730) (← links)
- (Q5009456) (← links)
- (Q5015269) (← links)
- (Q5089158) (← links)
- (Q5092367) (← links)
- On oblivious PTAS's for nash equilibrium (Q5172700) (← links)
- (Q5875383) (← links)
- Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention (Q6496422) (← links)
