Loading...
Derniers dépôts
-
-
-
Jan-Georg Smaus, Érik Martin-Dorel, Stéphane Le Roux. Existence of Nash Equilibria in 2-Player Simultaneous Games and Priority Games Proven in Isabelle. International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning. Satellite Workshop of AAMAS 2021, 2021, pp.3. ⟨hal-04627821⟩
-
-