scientific article
From MaRDI portal
Publication:3384162
zbMath1483.91014arXiv1709.02096MaRDI QIDQ3384162
Jan-Georg Smaus, Érik Martin-Dorel, Stéphane Le Roux
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02096
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Noncooperative games (91A10) Formalization of mathematics in connection with theorem provers (68V20)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- ``Backward coinduction, Nash equilibrium and the rationality of escalation
- Games with secure equilibria
- Cores of effectivity functions and implementation theory
- Borel determinacy
- A proof of the four color theorem
- From winning strategy to Nash equilibrium
- Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
- Equilibria in Quantitative Reachability Games
- Manipulation of Voting Schemes: A General Result
- The solvability of positional games in pure strategies
- Deciding parity games in quasipolynomial time
This page was built for publication:
