Skip to Main content Skip to Navigation
Conference papers

Non-Determinism and Nash Equilibria for Sequential Game over Partial Order

Abstract : In sequential games of traditional game theory, backward induction guarantees existence of Nash equilibrium by yielding a sub-game perfect equilibrium. But if payoffs range over a partially ordered set instead of the reals, then the backward induction predicate does no longer imply the Nash equilibrium predicate. Non-determinism is a solution: a suitable non-deterministic backward induction function returns a non-deterministic strategy profile which is a non-deterministic Nash equilibrium. The main notions and results in this article are constructive, conceptually simple and formalised in the proof assistant Coq.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
Submitted on : Wednesday, August 12, 2015 - 10:17:46 AM
Last modification on : Saturday, September 11, 2021 - 3:18:22 AM
Long-term archiving on: : Friday, November 13, 2015 - 11:35:30 AM


Publisher files allowed on an open archive




Stéphane Le Roux. Non-Determinism and Nash Equilibria for Sequential Game over Partial Order. Computational Logic and Applications, CLA '05, 2005, Chambéry, France. pp.77-86, ⟨10.46298/dmtcs.3468⟩. ⟨hal-01183332⟩



Record views


Files downloads