Pages that link to "Item:Q1045892"
From MaRDI portal
The following pages link to A constructive approach to sequential Nash equilibria (Q1045892):
Displaying 9 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Towards formal foundations for game theory (Q1791194) (← links)
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- A generalization of Nash's theorem with higher-order functionals (Q2831257) (← links)
- Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence (Q3183536) (← links)
- A Refinement of Sequential Equilibrium (Q3783105) (← links)
- A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB’S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY (Q5207557) (← links)