Vous êtes sur la page 1sur 20

Thorie des Jeux : Modlisation Mathmatique et

Applications

October 2, 2007

Porteurs du projet de GDR :

Marc Quincampoix
Sylvain Sorin
Tristan Tomala

Universit de Bretagne Occidentale (Brest)


, Universit P. et M. Curie-Paris 6
, Universit Paris Dauphine

Acronyme propos: JEMMA

Laboratoire de rattachement du GDR Laboratoire de Mathmatiques, UMR 6205, Universit


de Bretagne Occidentale (Brest).

1 Domaine de Recherche
Thorie des jeux: outils et mthodes mathmatiques, modlisation et applications en particulier en
conomie, informatique et biologie.

2 Structuration du rseau
Le Groupe de recherche sera anim par les directeurs qui prsideront le comit d'organisation, instance
qui fera vritablement fonctionner le GdR. Un comit scientique sera consult pour les orientations de
la recherche et donnera un avis sur les actions du comit d'organisation. Pour les colloques organises
par le GDR, il servira en grande partie de comit scientique.

2.1 Comit scientique.

Pierre BERNHARD, Universit Nice-Sophia Antipolis.

Ivar EKELAND, Pacic Institute for the Mathematical Sciences, Vancouver.

Josef HOFBAUER, University of Vienna.

Alexander B. KURZHANSKI, Acadmie des Sciences, MGU, Moscou, Russie.

Ehud LEHRER, University of Tel-Aviv.

Andreu MAS-COLELL, University Pompeu Fabra, Barcelone.

Jean-Charles ROCHET, Institut d'conomie industrielle, Toulouse I.

Georges ZACCOUR, HEC Montral, Canada.

3 Comit d'organisation

Eitan ALTMAN, INRIA Sophia Antipolis,

Pierre CARDALIAGUET, Laboratoire de Mathmatiques, UMR CNRS 6205, Brest,

Rgis FERRIERE, Laboratoire d'Ecologie, Ecole Normale Suprieure, Paris,

Olivier GOSSNER, UMR Paris-Jourdan Sciences Economiques,

Philippe JEHIEL, UMR Paris-Jourdan Sciences Economiques, Ecole Nationale des Ponts et
Chausse, Paris,

Paul-Andr MELLIES, Preuves, programmes et systmes, UMR CNRS 7126, Paris VII,

Marc QUINCAMPOIX, Laboratoire de Mathmatiques, UMR CNRS 6205, Brest,

Sylvain SORIN, Combinatoire et Optimisation, UMR CNRS 7090, UPMC-Paris 6,

Tristan TOMALA, CEREMADE, UMR CNRS 7534, Paris Dauphine,

Nicolas VIEILLE, Dpartement Finance et Economie, HEC, Paris.

4 Historique
Depuis une vingtaine d'annes, un seminaire parisien hebdomaire inter-universitaire de thorie des

1 2 auquel ont, pour la plupart, particip les chercheurs

jeux se droule l'institut Henri Poincar ,

francais du domaine, ainsi qu'un panel important de spcialistes mondiaux.

3 ont permis de

Plus rcemment des journes organises Paris 6 en 2002, puis a Rosco en 2005

rassembler des chercheurs, essentiellement en mathmatiques, venant d'organismes divers mais tous
intresss par ce domaine et ses applications.
Au niveau international, les productions en thorie des jeux apparaissent, entre autres via les
activits de deux socits savantes:

la Game theory society (http://www.gametheorysociety.org/)

et l'International society of dynamic games (http://www.isdg.tkk./index.html) au sein desquelles


la communaut franaise joue depuis plusieurs annes un rle certain:
colloques, dition de proceedings, comits ditoriaux de revues...

1
2
3

http://www.ceremade.dauphine.fr/ tomala/semjeux.html
http://ceco.polytechnique.fr/COLLOQUES/JEUX/archives.html
http://maths2.univ-brest.fr/recherche/colloques/minijeu3.htm
2

comits d'organisation de

La thmatique "Thorie des Jeux" est par essence pluridisciplinaire et apparait (au niveau
thorique ou dans des problmes de modlisation) dans plusieurs rseaux d'excellence nationaux ou
internationaux comme:

4 en mathmatiques,

le TMR europen "Evolution equations"

le TMR "Games" en informatique,

l'ANR Modles alatoires de l'volution et du vivant ,

l'ANR DECISION PROX (Optimisation, jeux et dynamique de la dcision avec cot au change-

ment) ,

l'ANR jeunes chercheurs ATLAS ,

les ACI

9 "Information et rationalit limite en conomie" et "Stratgies de manipulation

d'information".
Le nombre de chercheurs concerns, la varit des thmes, la qualit et l'abondance des productions
rcentes d'une part, l'approfondissement de recherches inter-disciplinaires et l'mergence de problmatiques transverses nouvelles d'autre part, nous conduisent penser qu'il est maintenant opportun
de fdrer les quipes travaillant en thorie des jeux. La cration d'un GDR donnera une visibilit
certaine au domaine, permettra de renforcer et prenniser des liens scientiques existants et favorisera
l'mergence de synergies nouvelles autour des problmes de modlisation o l'aspect stratgique est
dterminant.
Il est important de remarquer ici que la taille prvue du GDR, environ 80 personnes, permettra de
structurer la recherche dans le domaine de la thorie des jeux tout en gardant un volume raisonnable

aspects mathmatiques et de modlisation des interactions stratgiques ; les problmes d'applications pures sans interrogations soit sur la
et maniable. Pour cela le rseau est volontairement cibl sur les

modlisation, soit sur les mathmatiques sont sciemment laisss en dehors du champ du GDR.

5 Activits du GDR
Notre objectif pour les quatre ans d'exercice du GDR est d'organiser les vnements suivants :

4
5
6
7
8
9

une journe annuelle, (quatre au total)

une confrence internationale biannuelle, (deux au total)

une cole thmatiques d't biannuelle (deux au total)

http://fraise.univ-brest.fr/eveq/
http://www.games.rwth-aachen.de/
http://www.cmla.ens-cachan.fr/Cmla/ANRmaev/index.html
http://www.ecp6.jussieu.fr/ANR06
http://www.dma.ens.fr/%7Estoltz/themes.html
http://www.recherche.gouv.fr/appel/2004/resacijc.pdf, http://www.u-cergy.fr/article4318.html

Nous souhaitons pouvoir nancer ces manifestations, et aider au co-nancement de rencontres


thmatiques plus restreintes.
Comme le projet prsent rassemble de nombreux thmes, un aspect central des manifestations
sera la modlisation qui consituera le lien entre les diverses thmatiques et aura un rle moteur dans
la structuration de la recherche.
Outre la diusion des rsultats scientiques rcents, chaque manifestation mettra l'accent sur un
vritable transfert de connaissance. C'est pourquoi, nous essaierons de centrer les rencontres autour
d'une ou deux confrences/cours de plusieurs heures, avec en plus, des exposs plus courts de 45
minutes donns par des chercheurs conrms.

Nous inviterons des spcialistes internationaux pour

ces rencontres. Bien videmment, il nous semble important de privilgier le rle des jeunes chercheurs
(en particulier des doctorants en n de thse) en leur proposant de donner des exposs lors des
confrences.
Pour les Ecoles thmatiques d't, le volume des cours augmentera considrablement par rapport
aux confrences, mais nous envisageons toujours de permettre aux jeunes chercheurs de donner des
exposs.

6 Projet Scientique
Depuis les travaux initiaux de Borel et von Neumann (jeux 2 joueurs et somme nulle: valeur et
stratgies optimales) puis la parution de

Theory of Games and Economic Behavior (J. Von Neumann

et O. Morgenstern, 1944) et la perce conceptuelle de Nash (quilibre pour les jeux


la thorie des jeux n'a cess de se dvelopper.

Studies,

joueurs),

Annals of Mathematical
Games and Decision (Luce et Raia,

Aprs 5 volumes dans les

Princeton U.P. (24, 28, 39, 40, 52) et les ouvrages

Dierential Games (Isaacs, 1965) le domaine s'arme avec la cration de revues spciques:
International Journal of Game Theory, 1971, Mathematics of Operations Research , 1976 (dont
"Game Theory" est une des 4 "research Area"), Games and Economic Behavior, 1989, International
Game Theory Review, 1999.
1957) et

Paralllement de nombreux rsultats de jeux apparaissent dans des revues gnrales de mathmatiques

et mathmatiques appliques: SIAM J. Control and Optimization, Annals of Probability, Annals of


Statistics, JOTA, Israel Journal of Mathematics, Dierential Equations Dynamical Systems , Annals
of Operations Research...
En eet si les applications sont varies, la thorie des jeux, ancre dans les mathmatiques appliques,
utilise des techniques relevant de nombreux champs parmi lesquels:
-Analyse non-linaire et convexe, dualit, correspondance et points xes (thormes de minmax et
existence d'quilibre);
-EDP et thorie du contrle, quation HJB et viscosit (jeux direntiels);
-Oprateurs monotones et quations d'volution (jeux rpts);
-Probabilits, statistiques et processus stochastiques (jeux stochastiques, jeux information incomplte);
-Mathmatiques discrtes, graphes (search games);
-Aspects algbriques : treillis, ensembles semi-algbriques, topologie algbrique (varit des quilibres);
-Systmes dynamiques et algorithmes (jeux d'volution).
Aprs une priode o les applications privilgiaient les duels et leurs extensions, l' approche stratgique
en thorie des jeux a occup un rle de plus en plus important en conomie partir des annes 70 et

est dsormais un outil incontournable comme en tmoignent, entre autres : -les prix Nobel d'conomie
attribus des thoriciens des jeux: Nash, Harsanyi, Selten en 1994, Aumann et Schelling en 2005; -la

Econometrica, Journal of Economic


Theory, Economic Theory, Journal of Mathematical Economics, Review of Economic Studies ...; -et
les ouvrages de rfrence comme Game Theory (Fudenberg et Tirole, 1991), Microeconomic Theory
part des articles de thorie des jeux dans les revues d'conomie:

(Mas Colell, Whinston et Green, 2004) .


Paralllement l'approche en termes d'interaction stratgique et de jeux s'est avre trs pertinente en

Evolution
and the Theory of Games (Maynard Smith, 1982). Il s'agit dsormais d'un thme rcurrent des revues
J. Math. Biology, Theoretical Population Biology, J. Theoretical Biology, entre autres.
biologie (volution, comptition entre espces) en particulier aprs la parution de l'ouvrage

Enn une large communaut s'est developpe en informatique thorique utilisant et dveloppant des
outils de thorie des jeux. Les domaines couvrent la complexit, les systmes multi-agents, smantique
et langages, algorithmes de prdiction et sont reprsents, entre autres dans

ence, Machine Learning, ...

Theoretical Computer Sci-

Les applications de la thorie des jeux touchent bien sr beaucoup d'autres champs: relations internationales, linguistique, choix social...
Le GDR se propose de runir des chercheurs de dirents domaines (mathmatiques, conomie,
informatique, biologie) autour des thmes transversaux que la thorie mathmatique des jeux aborde
et de promouvoir la recherche dans des thmatiques qui sont dcrites dans les sections suivantes (avec
des recoupements invitables qui souligneront d'ailleurs les interactions possibles).

7 Thmes
7.1 Jeux rpts
Les aspects dynamiques dans les jeux (jeux rpts/jeux direntiels) reprsentent une part trs
importante de la thorie. Les jeux rpts sont des modles temps discret pour lesquels le formalisme
usuel des jeux s'applique (thorie des jeux en forme extensive).

En toute gnralit, les joueurs

prennent des dcisions chaque tape et reoivent des informations sur les dcisions prises par leurs
adversaires ainsi que sur l'tat du jeu courant avant de passer l'tape suivante. Ce formalisme est
susament souple pour englober: les jeux rpts information complte (rptition d'un jeu xe), les
jeux rpts information incomplte (avec asymtries d'information sur les paramtres du jeu) et les
jeux stochastiques dans lesquels les paramtres du jeu voluent en cours de partie. Une grande varit
de problmatiques, de techniques et d'applications sont obtenues suivant les sous-cas considrs.

7.1.1

Jeux rptes information complte et Folk Theorems

Le cadre gnral est un jeu stratgique rpt et l'tude porte sur l'ensemble des paiements accessibles
et des paiements d'quilibre en fonction de la dure de l'interaction (limite de jeux nis ou escompts,
jeu inni). L'tude du cas d'information standard (full monitoring) est bien comprise et la recherche
se porte sur l'extension aux jeux avec signaux o l'issue de chaque tape la connaissance des coups
des adversaires n'est pas ncessairement disponibles. Des travaux rcents donnent des caractrisations
de paiements d'quilibres dans les jeux avec mcanisme de communication exogne. Rcemment de
nombreux sous-problmes ont t tudis:

Communication et transmission stratgique d'information.

Il s'agit d'tudier des problmes de trans-

mission stratgique d'information au travers d'un mcanisme de communication xe, indpendamment


d'une structure de paiements. Lorsque les joueurs peuvent s'envoyer des messages le long des artes
d'un graphe, on retrouve des problmes de cryptographie (codication, valuation de la suret de
diverses procdures).

De manire duale, on peut tudier la conception de mcanismes permettant

d'implmenter une classe d'quilibres donns.


Un domaine connexe est l'analyse des aspects quantitatifs des phnomnes de transmission
d'information: a) d'une part en introduisant des mesures de l'information, essentiellement par des
mthodes entropiques, ce qui permet une tude ne des eets sur les paiements de variation des structures d'information, b) d'autre part en dnissant une notion de valeur de l'information (au sens de
"value of experiments") dans le cadre strictement comptitif (jeux somme nulle).

Information et connaissance.

Le dveloppement de la modlisation de l'information et de la connais-

sance dans les jeux, fait apparaitre, cot des thmes habituels de la thorie des jeux vue comme
thorie de la dcision interactive, une thorie de l'information interactive.
matiques nouvelles a merg :

Une srie de probl-

oprateurs de connaissance et de croyance, degrs de connaissance

publique,...
L'approche stratgique dans ce champ concerne alors plus les informations prives des agents que leurs
actions et les problmes typiques sont de l'ordre de l'apprentissage social.

Complexit.

Un autre thme apparu dans ce domaine est l'tude de questions lies la complexit

: on peut distinguer la complexit du problme consistant dterminer une stratgie optimale ou


l'existence d'un quilibre, de l'valuation de la complexit d'une stratgie elle-mme, au sens de sa
mise en oeuvre:

c'est dans ce cadre qu'ont t introduits les jeux avec des espaces restreints de

stratgies: mmoire nie, automates, machines de Turing. Il est alors naturel d'tudier l'impact de
la complexit sur le rsultat de l'interaction stratgique (dans ce cadre aussi l'utilisation de mthodes
entropiques est souvent crucial).

7.1.2

Thorie gnrale des jeux rpts

Le modle gnral est bien sur plus dlicat analyser et les problmes d'existence et de caractrisation
sont au coeur des proccupations. Les approches varient selon les sous-cas tudis.

Jeux information incomplte.

Il s'agit de jeux dpendant d'un paramtre (xe) imparfaitement

connu de tous les joueurs. La thorie dans le cadre de jeux somme nulle est bien tablie (Aumann
et Maschler). L'tude de jeux somme non nulle est en plein dveloppement.

Jeux stochastiques.

Ce modle est l'extension naturelle des chaines de Markov contrles par 2 joueurs.

Pour le cas somme nulle les problmes concernent les extensions d'existence de valeur uniforme (
la Mertens-Neyman) au cadre de structures d'information gnrales. Le cas somme non nulle vise
etendre les rsultats d'existence d'quilibre Dans le cas un joueur, on vise gnraliser les rsultats
de programmation dynamique usuels (Blackwell) aux cas de signaux pour dirents critres de convergence asymptotique

Jeux d'arrt.

On vise ici une approche globale des extensions des jeux de Dynkin o la stratgie des

joueurs est un temps d'arrt dpendant d'une information prive. L'tude porte, entre autres sur le

passage temps discret/temps continu et sur les extensions au cas somme non nulle.

Thorie gnrale des jeux somme nulle.

L'approche en termes d'oprateurs permet une unication

de l'tude asymptotique des jeux information incomplte et stochastiques. On considre maintenant


le cadre mixte o l'tat est partiellement connu et volue au cours du jeu. Le lien avec les equations
d'volution lies des oprateur maximaux monotones est prometteur.

Temps continu.

L'ide est de reprsenter le jeu rpt comme un jeu en temps continu jou avec des

stratgies constantes par morceaux. La limite des valeurs apparait alors comme solution d'une ingalit variationnelle. Dans le cas des jeux information incomplte l'approche duale est particulirement
adapte et donne lieu une famille de nouveaux types d'quations aux drives partielles.

7.2 Jeux direntiels


7.2.1

Jeux direntiels somme nulle

La thorie de l'existence d'une valeur pour des jeux direntiells est maintenant presque complte
dans le cas sans contraintes, en la caractrisant comme unique solution d'une quation d'Hamilton
Jacobi Isaacs. Ce n'est qu'assez rcement que des rsultats d'existence de valeur pour des jeux deux
joueurs et une contrainte d'tat assez gnrale ont t tablis. Des questions restent ouvertes pour
des jeux avec d'autres critres (par exemple en essentiel supremum). La thorie et la dnition mme
de valeur en l'absence de condition d'Isaacs sur les Hamiltoniens est encore largement faire.
Une thorie raisonablement complte des varits singulires solution de l'quation d'Isaacs est
maintenant connue depuis les travaux de Pierre Bernhard l'exception - notable - des varits focales
pour lesquelles la thorie est reste ouverte depuis cette poque.

7.2.2

Jeux direntiels et contrle robuste

Les questions de contrle robuste peuvent tre modliss par des jeux direntiels antagonistes
deux joueurs o l'incertitude est dcrite comme un des joueurs ayant un objectif oppos celui du
contrleur. Ceci est en particulier source de nombreux travaux et rsultats comme le fameux "principe
d'quivalence l'incertitude".

7.2.3

Jeux direntiels somme non nulle

L'tude des jeux direntiels somme non nulle reste un des grands problmes ouverts.

On con-

nait depuis les annes 1980 un quivalent du Folk Theorem" pour ces jeux, grce aux travaux de
Kononenko, de Kleimenov et de Tolwinski, Haurie et Leitmann : cela concerne l'existence et la caractrisation des paiements d'quilibres de Nash pour des stratgies avec mmoire. La question de la
slection de ces quilibres, et notamment la recherche d'une notion d'quilibre sous jeu parfait, a fait
l'objet de plusieurs travaux rcents.

Bressan et Shen ont montr, grce des techniques emprun-

tes l'tude des systmes de lois de conservation, que le systme d'quations de Hamilton-Jacobi
naturellement associ ce problme prsentent des instabilits trs fortes.
Paralllement, l'tude du systmes d'quations de Hamilton-Jacobi par des outils gomtriques
conduit une thorie des varits doublement singulires.

Cela donne un cas, o d'une part les

quations d'Isaacs couples de l'quilibre de Nash en feedback se dcouplent, et o d'autre part un


jeu direntiel deux joueurs admet un quilibre de Nash en stratgies mixtes (comportementales).

7.2.4

Jeux direntiels avec manque d'information

Les jeux direntiels avec manque d'information tudient les jeux en temps continu dans lesquel les
joueurs, tout en ayant une connaissance complte de l'tat et/ou du contrle des autres joueurs, n'ont
accs qu' une partie de l'information sur la valeur relle des paiements. Ces jeux sont la transposition
naturelle aux jeux direntiels de la thorie d'Aumann-Maschler qui est bien connue en jeux rpts.
Un second champ d'tude tourne autour des thormes de vrication. On sait que ceux-ci jouent
un rle central pour les jeux somme nulle classiques. Il n'existe pas ce jour d'quivalent pour les
jeux avec manque d'information.
optimales pour les joueurs.

Cette question est fortement lie la construction des stratgies

La caractrisation de ces stratgies n'est toujours pas compltement

comprise. On sait pour l'instant que les joueurs les fabriquent en construisant au cours du temps des
martingales d'un type assez particulier.

7.2.5

Jeux direntiels Stochastiques

Un certain nombre de problmes tudies dans le cadre des jeux direntiels ne prennent vraiment
tout leur sens que lorsqu'on considre leur quivalent stochastique (par exemple lorsqu'on vise des
applications en mathmatiques nancires).

L'existence et la caractrisation des jeux direntiels

stochastiques est connue depuis W.H. Fleming, P.E. Souganidis en 1989.

Dans l'tude des ques-

tions mentionnes dans les sections prcdentes, une approche utilisant les quations direntielles
stochastiques rtrogrades, est intressante pour les jeux avec manque d'information.

7.2.6

Jeux aux drives partielles

Des problmes d'optimisation multidisciplinaire -OMD- de systmes rgis par les quations aux
drives partielles, se formalisent l'aide de la thorie des jeux.

L' objectif est la modlisation

de problmes coupls et/ou multicritre sous forme de jeux aux drives partielles, de Nash ou de
Stackelberg par exemple, pour lesquels on tudie l'existence thorique d'quilibres, ainsi que la mise
en oeuvre numrique. Les concepts de stratgie extrmements tudis pour les jeux direntiels depuis
les annes 70 sont ici encore largement inventer dans ce cadre.

7.3 Modles de jeux en conomie


Theory of Games and Economic Behavior) ont ds le dpart conuu la

von Neumann et Morgenstern (

thorie des jeux comme un fondement mathmatique du comportement des agents conomiques. Dans
les annes 1950, la dmonstration rigoureuse de l'existence d'un quilibre gnral, qui repose sur la
rsolution d'un jeu auxiliaire, consolide l'interaction des deux disciplines. A partir des annes 1960 et
1970, les conomistes favorisent de plus en plus une approche stratgique, surtout an de tenir compte
des eets de dirences d'information entre les agents. L'exemple le plus connu est la modlisation
des enchres (Vickrey, Wilson). Depuis, l'interaction jeux/conomie a pris une ampleur considrable,
en particulier sur les thmes suivants:

7.3.1

Jeux stratgiques de march

Dans un jeu stratgique de march, les agents dcident des quantits de bien qu'ils mettent sur le
march en vue d'un change. De multiples variantes permettent de prciser ce modle, qui se propose
avant tout d'expliquer la formation des prix par les choix stratgiques des agents.

Si ceux-ci sont

peu nombreux, les quilibres de Nash, dont l'existence ne va pas ncessairement de soi, dirent
des quilibres de Walras.

Sous des hypothses appropries, on tablit la convergence des premiers

quilibres vers les seconds quand le nombre d'agents s'accrot. On tudie mme des modles de "grands
jeux" avec un continuum de joueurs.

On a aussi entrepris l'tude de jeux de march dynamiques,

ventuellement en information imparfaite (tant sur les tats de la nature que sur les dcisions des
agents), mais ce domaine est encore largement inexplor, alors qu'il est devrait permettre une meilleure
comprhension du traitement usuel des conomies intertemporelles, soumises l'antislection ou
l'ala moral.

Les rsultats obtenus pour les jeux rpts (voir section correspondante) devraient

clairer ce thme de recherche. Dans une toute autre direction, l'tude de dynamiques non-stratgiques
(ttonnement), qui pose des questions en termes de systmes dynamiques, rejoint celle des problmes
d'apprentissage dans les jeux.

7.3.2

Economie industrielle

La modlisation porte sur des problmes de concurrence imparfaite o les acteurs conomiques ont
un impact sur les variables pertinentes :

prix et/ou quantits.

De nombreux travaux ont port

sur les problmes de localisation, d'entre, de direntiation et de segmentation des marchs.

Les

aspects dynamiques sont souvents cuciaux dans ces modles qui sont, l'origine de certains modles
de jeux rpts (Green et Porter). On retrouve ici les problmes de "Folk thormes" avec observation
imparfaite.

7.3.3

Economie de l' information

L'tude des modles principal/agent : ala moral, anti-slection, et plus gnralement la thorie des
contrats ainsi que la thorie des enchres relvent de la thorie des jeux information incomplte
(e.g.

"signalling games").

On s'intresse la caractrisation des quilibres, leur robustesse par

rapport dirent critres de selection, aux proprits d'optimalit.

On trouve ici de nombreuses

problmatiques communes avec les partie jeux rpts information incomplte / jeux observation
imparfaite : corrlation, communication, valeur de l'information, scurit des transmissions.

7.3.4

Rationalit limite

L'tude d'un certain nombre de paradoxes (du type backward induction) a conduit d'une part un
dveloppement important des thories de selection d'quilibre et d'autre part une tude ne des
proprits de dpendance par rapport la structure d'information.

Les phnomnes de rputation

ont donn lieu a une importante littrature.

7.4 Informatique
7.4.1

Thorie de la dmonstration et smantique des langages

Les langages de programmation contemporains sont typs: tout programme du langage on associe un
type, qui dcrit l'interface par laquelle ce programme interagit avec son environnement. Le typage des

programmes permet d'crire un code plus sr, et mieux structur. Depuis une quinzaine d'anne, on
sait dcrire tout type comme un jeu, dans lequel le programme joue une stratgie qui interagit avec la
contre-stratgie que joue son environnement. Cette smantique des jeux est structure par la logique
linaire et les catgories monoidales. Elle permet de donner un contenu mathmatique la programmation. Ainsi, on sait caractriser les stratgies qui peuvent tre programmes dans un langage de
programmation donn, ce qui permet de caractriser chaque langage par la classe de comportements
interactifs qu'il autorise ([37], [45], [25]).

7.4.2

Thorie descriptive des ensembles

L'tude de la dtermination (c'est--dire l'existence des stratgies gagnantes pour l'un des joueurs)
dans les jeux innis information parfaite tient une place centrale en thorie descriptive des ensembles.
D'un ct elle permet de dvelopper une thorie satisfaisante des ensembles projectifs et plus gnralement dnissables, thorie qui tend la thorie classique des ensembles analytiques et co-analytiques.
De l'autre ct on peut utiliser les axiomes de grands cardinaux pour dmontrer la dtermination des
ensembles dnissables, ce qui permet la fois de justier ces axiomes et de dvelopper la thorie des
modles internes pour les grands cardinaux([55], [56], [58]).

7.4.3

Thorie combinatoire

Les jeux d'Ehrenfeucht-Fraiss et leur gnralisations jouent un role central dans l'tude des langages
et logiques innitaires.

La thorie combinatoire des ensembles permet d'tudier la dtermination de

ces jeux et de classier et comparer les dirents types de logique innitaire.

7.4.4

Vrication

Vrier qu'un programme informatique satisfait une spcication donne revient contruire un jeu
( somme nulle et information parfaite) et vrier que la stratgie correspondant au programme
est gagnante dans le jeu dni par la spcication.

Un problme plus dlicat consiste ensuite

synthtiser un programme qui se comporterait bien vis--vis d'une spcication donne, quelque soit
le comportement de l'environnement.

Il s'agit donc de calculer une stratgie gagnante dans le jeu

dni par la spcication. On peut vouloir aussi contrler un programme existant an de satisfaire
une spcication donne (quel que soit le comportement de l'environnement). Dans ce cas, le contrleur
est une stratgie gagnante qui reprsente le programme valide dans le fragment du jeu explor par le
programme initial.

8 Interactions rcentes
L'une des principales raisons de la cration de ce GDR est, en plus du dveloppement important et
rcent du domaine et de ses applications, l'tablissement de liens profonds et signicatifs entre des
approches direntes ou des thmatiques varies. Quelques exemples sont mentionns ci-dessous.

8.1 Jeux repts/jeux direntiels


Bien qu'apparues simultanment, la thorie classique des jeux et celle des jeux direntiels se sont
pendant longtemps dveloppes de faon autonome.

10

Tandis que les concepts et problmatiques de

thorie des jeux ne cessaient de s'tendre et se dvelopper dans diverses directions, les chercheurs
en jeux direntiels se sont intresss le plus souvent soit l'tude de jeux somme nulle et information parfaite, soit aux problmes d'existence d'quilibre pour les jeux somme non nulle. La
principale raison cela est d'ordre technique : les rsultats en jeux direntiels ont t fortement tributaires d'avances dans le domaine des quations aux drives partielles (quations de Hamilon-Jacobi
Bellman (HJB)) et des quations direntielles stochastiques rtrogrades (EDSR). La comprhension
profonde des quations de HJB ne date que des annes 1980, avec des concepts de solutions non lisses
(solutions de viscosit introduit par Crandall et Lions ou "constructive motion" tudis et dvelopps
par l'cole de Krassovski et Pontryaguine).

8.1.1

Problmes de manque d'information en jeux direntiels

Pour les jeux direntiels, l'existence et la caractrisation de la fonction valeur pour les jeux somme
nulle (dans un cadre simpli d'information incomplte) a t obtenue dans des travaux rcents.
Cette caractrisation fait apparatre une nouvelle classe d'quation de type Hamilton-Jacobi et permet
d'unier et d'clairer des rsultats sur les jeux rpts.
Parmi les extensions possibles on souhaite allger les hypothses sur l'information disponible. Dans
les travaux prcdents, cette information se rduisait une probabilit sur un ensemble ni. Il est
important de gnraliser les rsultats existants des informations plus complexes (en temps continu
notamment), de faon pouvoir comparer la thorie aux travaux sur les problmes d'information en
contrle stochastique (insider models).
Dans le cas o le manque d'information est symtrique pour les deux joueurs, par exemple quand
les deux joueurs ne connaissent qu'une probabilit sur l'tat initial du systme, on peut rduire le
problme un problme information parfaite mais o la variable d'tat devient une mesure. Il s'agit
alors de prouver l'existence d'une valeur en tablissant des rsultats d'unicit d'quations d'Hamilton
Jacobi poses sur l'espace des mesures. La thorie du transport optimal la Monge Kantorovitch joue
l un rle crucial.
Un dernier grand thme de recherche du domaine est l'tude des jeux somme non nulle avec
manque d'information. On s'intressera notamment la validit d'un Folk Theorem" dans ce cadre.
De plus, le lien avec les valeurs uniformes" en jeux rpts devrait s'avrer particulirement important.

8.1.2

Approchabilit pour les jeux rpts et quation d'volution

Paralllement, certains outils typiques des jeux direntiels ont fait leur apparition dans la thorie
des jeux rpts o l'existence d'une valeur pour un jeu direntiel est un ingrdient essentiel pour
obtenir des rsultats d'approchabilit (faible) pour les jeux rpts. Ce domaine trs fructueux est en
cours de dfrichement.
Le passage en continu dans les formules de rcurrence pour les valeurs des jeux rpts fait apparaitre
des proprits de semi-groupes pour des oprateurs maximaux monotones.

8.1.3

Jeux direntiels impulsionnels et contrle robuste

Une approche rcemment propose pour le contrle robuste concerne le cas o un joueur ragit contre
une inconnue, qui en fait donne lieu une incertitude sur la position de l'tat du systme. Il est alors
possible de transformer ce jeu avec connaissance imparfaite de l'tat en un jeu information parfaite
mais o la variable d'tat est ensembliste

11

Les jeux impulsionnels peuvent tre abords dans le cadre d'un exemple : celui d'un problme
de tarication d'option dans un march qui d'une part permet de traiter les cots de transaction, et
d'autre part, se prte dvelopper une thorie de transactions discrtes ou continues avec le mme
modle de march, la solution discrte convergeant bien vers la solution continue quand le pas de temps
tend vers zro. Un thorme de reprsentation a t trs rcemment obtenu, en lien avec les solutions
de viscosit de l'quation d'Isaacs, et donne un algorithme rapide pour calculer les stratgies optimales.
C'est l une technique de commande robuste (donc un inf-sup sans considrations d'existence de la
valeur) qui est utilise pour un problme de contrle impulsionnel.
Paralllement, des rsultats rcents d'existence de valeurs pour des jeux direntiels impulsionnels
de poursuite deux joueurs ont t obtenus quand les deux joueurs ne pouvaient pas choisir leurs
"impulsions" simultanment. Des extensions sont en cours pour le cas de jeux direntiels hybrides.

8.1.4

Jeux direntiels stochastiques

Un travail rcent a permis de comparer les approches EDP de Fleming-Souganidis et EDS rtrograde
pour les jeux direntiels [60]. Les problmes de manque d'information sont encore largement ouverts
dans ce cadre.

8.1.5

Jeux sur les quations d'volution

Un exemple typique tudie un cas o l'on modlise le problme de conception de topologie (d'une
structure) comme un quilibre de Nash entre deux joueurs : la thermo-lasticit a pour objectif la
maximisation de la rigidit et l'quation de la chaleur a pour objectif la minimisation de la quantit
de chaleur emmagasine [41, 40]. Paralllement, des approches de jeux de Nash sont dveloppes pour
modliser des processus biologiques, comme l'angiognese tumorale o l'on dnit un jeu topologique
entre activateurs et inhibiteurs de ce phnomne.

8.2 Jeux et Economie


8.2.1

Transmission d'information

L'un des buts d'Aumann et Maschler, lorsqu'ils ont introduit le modle des jeux rpts information
incomplte, dans les annes 1960, tait d'tudier la transmission stratgique de l'information.

Les

applications conomiques potentielles sont apparues avec l'tude des jeux somme non-nulle, surtout
dveloppe dans les annes 1980. Paralllement, Crawford et Sobel (1982) ont introduit le discours
gratuit (cheap talk) dans les jeux metteur-rcepteur, qui ne comportent qu'une seule tape.
Les applications les plus diverses ont suivi (ngociation entre le vendeur et l'acheteur, rle des experts
nanciers et des conseillers, etc.).

Selon Crawford et Sobel, le discours gratuit est le privilge de

l'metteur, et une tape de transmission d'information puise donc les possibilits de communication
des joueurs. L'tude des jeux rpts rvle le rle de joueurs non informs au cours de la communication et de l, l'importance de la dure de celle-ci. L'impact d'une longue conversation entre les
joueurs est parfaitement caractris dans le cas d'un seul agent inform (Aumann et Hart) mais un
cadre plus gnral mriterait d'tre analys. D'autres questions, comme la stabilit stratgique des
quilibres dans les jeux o le discours gratuit est autoris, ou l'eet combin d'un cot de signal et
d'une communication longue entre les joueurs, sont encore largement ouvertes.

12

8.2.2

Passage micro-macro

L'ide est de dduire les donnes conomiques fondamentales de l'agrgation de dynamiques individuelles spcies au niveau micro conomique, en tenant compte des interactions locales et des limitations
d'information. Dirents modles de marchs, correspondant des spcicits de rationalit ou de
structuration en rseaux apparaissent.

8.2.3

Finance

Une premire analyse vise modliser le processus de formation des prix explicitement (et non pas
de le concevoir comme une donne a priori). L'apparition d'un mouvement Brownien apparait alors
comme une consequence de l'utilisation stratgique de dirences informationnelles.
Les jeux de Dynkin ont une importance particulire en mathmatiques nancires en particulier ds
qu'il s'agit de pricer les options amricaines de jeu ou alors les obligations convertibles. Le cas d'un
critre de risk-sensitive est particulirement importante. Un cas important et pas encore lucid est
celui des problmes de jeu de somme nulle ou non nulle o l'information est apport par un processus
de Levy.

Ce type de modle est d'un grande importance ds qu'il s'agit de considrer des actifs

nanciers pouvant faire dfaut.

8.2.4

Enchres

Le modle des enchres a suscit un nombre trs important de travaux et couvre un large champ
(types de procdures, valuation prives, bien divisibles et enchres simultanes, etc...). Un problme
important est li au rythme d'acquisition d'information au cours de la procdure elle mme. L'tude
des questions d'existence d'quilibre dans les modles d'enchres a permi d'largir les techniques
usuelles de point xes pour les preuves d'existence.

8.2.5

Rationalit limite

Des travaux rcents tudient le cas d'agents dont la capacit de traitement des informations est
limite.

On peut suivre l'impact au niveau des croyances individuelles ou considrer des classes

d'analogie qui pourraient correspondre des tats d'un automate reprsentant la stratgie. On rejoint
ici les problmes de complexit dans les jeux rpts et les modles de calculs issus de l'informatique
thorique.

8.3 Jeux et informatique


8.3.1

Jeux stochastiques et jeux sur les graphes

Un thme actuel en informatique thorique est l'tude des jeux sur les graphes (jeux d'accessibilit,
jeux de priorit). Ils s'inscrivent naturellement dans le formalisme des jeux stochastiques tout en ayant
des critres de gains qui ne sont pas traditionnels dans cette littrature (ce ne sont pas des critres
cumulatifs). L'interaction est ici directe, la communaut vrication et la communaut jeux stochastiques ayant des mthodes direntes, l'change de technologie s'annonce mutuellement fructueux.

13

8.3.2

Machine Learning

Le thorme d'approchabilit de Blackwell (1956) a connu de nombreuses applications en jeux rpts


(voir les interactions jeux rpts/jeux direntiels) ainsi que dans les problmes d'apprentissage.
Il permet en eet la contruction de stratgies sans-regret dans des processus de dcision "on-line"
(les dcisions sont a-posteriori asymptotiquement optimales, quelle que soit la loi du processus des
paiements).

La communaut Machine Learning ( l'interface informatique thorique/statistique)

cherche des algorithmes ecaces d'apprentissage (de faon quivalente, des stratgies sans regret)
en contrlant les termes d'erreurs. Les techniques utilises (par exemple l'apprentissage Logit) se rapprochent des algorithmes d'apprentissage en thorie des jeux (smooth cititous play) et les nouvelles
problmatiques, notamment les algorithmes de prdiction en observation imparfaite, rejoignent les
problmes de jeux rpts avec signaux.

8.3.3

Complexit

Les problmes de complexit en jeux utilisent les notions de modles de calcul (automates, machines
de Turing) pour reprsenter des stratgies de complexit borne.

De manire duale, les chercheurs

en informatique de la communaut "vrication" tudient les automates via des mthodes de thorie
des jeux.

Ces deux communauts ont commenc se rapprocher et les participations aux mmes

sminaires ou confrences se dveloppent.

8.3.4

Cryptographie, thorie de l'information

Les problmes de transmission d'information indpendante d'une structure de paiements, sont d'une
part un outil essentiel pour la construction de stratgies d'quilibre dans certains jeux rpts (notamment avec des joueurs placs en rseaux) et s'identient d'autre part des constructions de protocoles
de communication robustes des attaques de pirates informatiques sur le rseau. La encore, on observe
une fertilisation croise des deux domaines : les jeux permettent une formalisation plus raliste des
questions de abilit des protocoles, et d'autre part des notions informatiques (entropie de Shannon,
capacit de canaux, clefs d'authentication) permettent de construire des quilibres.

8.3.5

Recherche Oprationnelle

La plupart des grands problmes de recherche oprationnelle sont actuellement revus dans un cadre
de jeux, en supposant que plusieurs agents interviennent et en remplaant l'optimum par l'quilibre
de Nash (ou ses adaptations au contexte, quilibre de Wardrop ...), voir les thmes "Computational
Game Theory" ou "Algorithmic Game Theory".
Pour les rseaux de tlcommunication, on peut d'utiliser plusieurs outils:
(i) Les jeux evolutionnaires, dans le cadre d'un projet europeen denomme BIONETS. Il s'agit
d'appliquer des methodologies du monde biologique la conception d'architectures des rseaux.
(ii) Les jeux de potentiel: on utilise des techniques issues du trac routier (equilibre de Wardrop qui
est obtenu dans un jeu dont la fonction potentiel a ete identiee par Beckmann il y a 50 ans) et les
jeux de congestion de Rosenthal. On les applique aux problemes de communication sans l.
(iii) Les jeux avec contraintes. En particulier, on developpe des outils de calcul pour les jeux stochastiques avec contraintes avec des inormations partielles qui dierent d'un joueur a l'autre.
L'tude des rseaux de les d'attente, problme trs actuel, permet de rejoindre les jeux direntiels. Le modle est souvent formul comme un problme d'optimisation avec des objectifs intgraux

14

et un temps d'arrt. En utilisant une approche asymptotique on peut esprer obtenir des rsultats
analytiques explicites pour un problme de contrle dynamique des rseaux. La dmarche gnrale
pour les processus Markoviens propose par Fleming et Whittle, permet de condidrer un objectif

"sensible au risque" exponentiel. Cette approche ramne (aprs un passage la limite)


jeux direntiels avec une dynamique uide modie.

d'optimisation
des

8.4 Biologie et Jeux d'volution


8.4.1

Modle de conit en ecologie comportementale

Frquemment, l'tude de modles de conit en cologie comportementale, source trs riche de problmes intressants en eux mmes, force aussi considrer les notions de stratgies volutionairement
stables (ESS) et leur lien avec les problmes de jeux (statiques). Cela peut donner lieu au cas rare o
un jeu direntiel deux joueurs admet un quilibre de Nash en stratgies mixtes (comportementales);
ce rsultat est apparu dans un exemple de biologie thorique.

8.4.2

Evolution de la cooperation

Ce thme est trs tudi et porte sur plusieurs modles de l'volution de l'altruisme en tenant compte
de dirent paramtres:

structure du rseau d'interaction, distribution de la population, mobilit

locale, mutation/imitation/selection, dynamiques adaptatives...

8.4.3

Interaction alatoire

On considre ici des sytmes complexes d'interaction o la nature des liaisons (favorables ou antagonistes) peut varier ou avoir un double caractre et l'on tudie l'evolution spatiale et temporelle. Un
problme similaire se pose alors pour la crdibilit des signaux dans des structures de communication
interactives.

8.4.4

Reseaux d'interaction

Des modles o les joueurs sont engags simultanment dans plusieurs interactions ont t introduits
pour analyser des problmes de rgulation de l'expression de gnes.
On considre aussi des volutions multi-niveaux (ou une structure hirachique de jeux) o une stratgie
(ou un type) correspond un ensemble de comportements dans un sous jeu ou bien o la comptition
opre au sein du groupe et entre groupes.

9 Equipes et membres
Voir chier joint.

10 Cours de Master

PSE Master APE : 24h en MI (microconomie II), 24h en MII (ngociation enchres jeux rpts),
12h en MII (thorie de la dcision).

15

DAUPHINE Master MASEF: MI 20h (Initiation thorie des jeux), MII 20h au premier semestre
(Thorie des jeux), 20h au second semestre (Interactions stratgiques de long terme).

Paris 6 Master Mathmatiques de la Modlisation: MI 48h (Optimisation et Jeux) , MII parcours


OJME: 36 h au premier semestre (Stratgies et volution); 3 cours de 18h au second semestre
(Jeux rpts somme nulle, jeux direntiels, dynamiques d'volution)

PARIS 1 MII MMMEF: 4 cours, 1 cours au premier trimestre, 3 au second semestre.

Brest Master II "Mathmatiques fondamentales et applications" (cohabilit Rennes), 1 cours au


second semestre.

11 Thses, postes
-thses en cours: V. Perchet (Sorin), G. Vigeral (Sorin), J. Peypouquet (Sorin), C. Saavedra (Ponssard/Laraki), P. Contou-Carrre (Abdou) H. Tembine (Altman), As Soulaimani (CardaliaguetQuincampoix),

Goreac (Buckdahn-Quincampoix),

Hamelin (Bernhard),

Thiery (Bernhard),

De-

schamps (Bernhard).
-thses rcentes:
Mathmatiques
Cruck, Rigal, Serea (Brest), Daher, Marino (Paris 1), Viossat (Polytechnique), Stoltz (Orsay),
Boulogne (Paris 6), Zalinescu (Brest)
Economie
Mathis (Cergy)
Informatique
Gimbert (Paris 7)
hdr: Rosenberg (Paris 13), Tomala (Dauphine)
postes promotions: Mathis (MC Toulouse), Viossat (MC Dauphine), Stoltz (CR CNRS ENS), Gossner
(DR CNRS)

References
[1] Aubin, J.-P., Dynamic economic theory. A viability approach. Studies in Economic Theory. 5.
Berlin: Springer. (1997).
[2] Aumann R.-J. and M. Maschler,

Repeated Games with Incomplete Information.

M.I.T. Press,

1995.
[3] Aumann R.-J. and S. Hart,

Handbook of Game Theory, I, II, III. North-Holland, 1992-1994-2002.

Control and Related Minimax Design Problems. A


Dynamic Game Approach, 2nd ed., Birkhuser, 1995.

[4] Basar T. and P. Bernhard,

[5] Basar, T. and G.J. Olsder,

H -Optimal

Dynamic Noncooperative Game Theory, 2nd ed.

Classics in Applied

Mathematics. 23. SIAM, 1999.


[6] Cesa-Bianchi N. and G. Lugosi,

Prediction, Learning and Games,

2006.

16

Cambridge University Press,

[7] Demange G. et J.-P. Ponssard,

Thorie des Jeux et Analyse Economique, PUF, 1994.

[8] Fleming, W.H.n P.E. Souganidis,


stochastic dierential games.

On the existence of value functions of two-player, zero-sum

Indiana Univ. Math. J. 38, 293-314, 1989.

[9] Hamadne, S., J.P. Lepeltier,

Zero-sum stochastic dierential games and backward equations.

Syst. Control Lett. 24, 259-263, 1995.

[10] Hofbauer J. and K. Sigmung,

Evolutionary Games and Population Dynamics,

Cambridge Uni-

versity Press, 2004.


[11] Krassovskii, N.N. and A.I. Subbotin,

Game-Theoretical Control Problems, Springer-Verlag, 1988.

Thorie des Jeux : Introduction la Thorie des Jeux


Rpts. Journes Mathmatiques XUPS 2006. Editions de l'Ecole Polytechnique, 2006.

[12] Laraki R. , J. Renault and T. Tomala,

[13] Mas-Colell, M. Whinston and J. Green,


[14] Maynard Smith J.,

Microenomic Theory,

Evolution and the Theory of Games,

Oxford University Press, 1995

Cambridge University Press, 1992.

Advances in Dynamic Game Theory:


Numerical Methods, Algorithms, and Applications to Ecology and Economics, Bikhauser, 2006.

[15] Jorgensen S., M. Quincampoix and T. Vincent T. (eds.),

[16] Neyman A. and S. Sorin (eds.),

Stochastic Games and Applications, Kluwer Academic Publishers,

2004.
[17] Roughgarden T.,
[18] Sorin S.,

Selsh Routing and the Price of Anarchy,

A First Course on Zero-Sum Repeated Games.

[19] Subbotin, A.I.

M.I.T. Press, 2005.

SMAI, Springer, 2002.

Generalized solutions of rst-order PDEs. The dynamical optimization perspective.

Basel: Birkhuser, 1994.


**************************************************************************
ARTICLES
[20] Avram F., D. Bertsimas D. and Ricard M., Fluid models of sequencing problems in open queueing
networks; an optimal control approach.

71, 199-234, 1995.

Stochastic Networks, F. Kelly and R. Williams, eds, IMA,

[21] Avram F. Some calculations and conjectures on a dierential game motivated by the risksensitive control of queueing networks in the large deviations regime,

http://www.univ-

Pau.fr/ avram/papers/difsh.pdf, 2002.


[22] Benaim M., J. Hofbauer and S. Sorin,

Stochastic approximations and dierential inclusions,

SIAM J. on Control and Optimization, 44, 328-348, 2005.

[23] Bernhard P., Chain dierentials with an application to the mathematical fear operator

Analysis, 62, 1225-1233, 2005.

Nonlinear

[24] Bernhard P., N. El Farouq and S. Thiery, An Impulsive Dierential Game Arising in Finance
with Interesting Singularities,

Annals of the ISDG, 8, 335-363, 2006.


17

[25] A. Blass, A game semantics for linear logic,

Annals of Pure and Applied Logic 56(1-3): 183-220,

1992.
[26] Buckdahn R., P. Cardaliaguet and C. Rainer, Nash equilibrium payos for nonzero-sum stochastic
dierential games.

SIAM J. Control Optimization, 43, 624-642, 2004.

[27] Cardaliaguet P., M. Quincampoix M. and P. Saint-Pierre, Pursuit dierential games with state
constraints,

SIAM J. Control and Optim. , 39,1615-1632, 2001.

[28] P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre, Numerical methods for optimal control
and dierential games,

Annals of International Society of Dynamical Games Bardi, Parthasaran-

thy, Raghavan (eds.), Birkhauser, 177-249, 2001.


[29] Cesa-Bianchi N., G. Lugosi and G. Stoltz, Regret minimization under partial monitoring.

ematics of Operations Research, 31, 562-580, 2006.

[30] Compte O. et Jhiel P.,


Econometrica,

Math-

On the role of outside options in bargaining with obstinate parties,

70, 1477-1517, 2002.

[31] Compte O. et Jhiel P., On the Value of Competition in Procurement Auctions, Econometrica,

70, 343-355, 2002.


[32] Delaplace F., Chettaoui C., Manceny M. and M. Malo, Games network and Application to PAs
system,

Biosystems, 87, 136-141, 2007.

[33] De Meyer B.,

On the strategic origin of Brownian motion in nance, avec H. Moussa Saley,

International Journal of Game Theory,

31, 2003.

[34] Forges F. and Koessler F., Communication equilibria with partially veriable types,

Mathematical Economics, 41, 793-811, 2005.

[35] Forges F. and Koessler F., Long Persuasion Games, paratre dans
[36] D. Gale and F. M. Stewart,
Theory of Games II,

Journal of

Journal of Economic Theory.

Innite games with perfect information,

in Contributions to the

Annals of Mathematics Studies 28, Princeton University Press, Princeton

NJ : 245-266, 1953.
[37] J.Y. Girard, Linear Logic,

Theoretical Computer Science, London Mathematical 50, 1-102, 1987.

[38] Gossner O. and T. Tomala, Empirical Distributions of beliefs under imperfect monitoring.

ematics of Operations Research, 31, 13-31, 2006.

[39] Gossner O., P. Hernandez and A. Neyman, Optimal use of communication resources.

rica, 74, 1603-1636, 2006.

Math-

Economet-

[40] Habbal A., M. Thellner and J. Petersson. Multidisciplinary topology optimization solved as a
Nash game.

Int. J. Numer. Meth. Engng, 949-963, 61, 2004.

IUTAM Symposium
on "Topological design optimization of structures, machines and materials - - status and perspectives", Solid Mechanics and Its Applications, M.P. Bendsoe, N. Olho and O. Sigmund (eds.),

[41] Habbal A. Multidisciplinary topology design and Partial dierential games,

Springer, 585-593, 2006.

18

[42] Hamadne S.,

Mixed zero-sum dierential game and American game options,

SICON,

45,

496-518, 2006.
[43] Hamadne S. and I. Hdhiri, BSDEs with two reecting barriers and quadratic growth coecient

Applications, Journal of Applied Mathematics and Stochastic


Analysis, Article ID 95818, 28 pages, 2006. doi:10.1155/JAMSA/2006/95818, 2006.
without Mokobodski's condition.

[44] Hamelin F., P. Bernhard, A.J. Shaiju and E. Wajnberg,

Foraging under competition: evolu-

tionarily stable patch-leaving strategies with random arrival times. 2 Interference competition",

Annals of the ISDG, 9, 2006.


[45] M. Hyland et L. Ong,

On Full Abstraction for PCF,

Information and Computation,

163,

285-408, 2000.
[46] P. Jhiel, Analogy-Based Expectation Equilibrium,

Journal of Economic Theory,

123, 81-104,

2005.
[47] P. Jhiel and D. Samet, Learning to Play Games in Extensive Form by Valuation,

Economic Theory, 124, 129-148, 2005.

[48] Koessler F.,

Persuasion Games with Higher-Order Uncertainty.

110, 393-399, 2003.


[49] Koessler F., Strategic Knowledge Sharing in Bayesian Games.

48, 292-320, 2004.

Journal of

Journal of Economic Theory,

Games and Economic Behavior,

[50] Laraki R., On the regularity of the convexication operator on a compact set,

Analysis, 11, 209-234, 2004.

Journal of Convex

[51] Laraki R., Repeated games with lack of information on one side : the dual dierential approach,

Mathematics of Operation Research, 27, 419-440, 2002.

[52] Le Galliard JF, Ferrire and U. Dieckmann, Adaptive evolution of social traits: origin, trajectories, and correlations of altruism and mobility,

The American Naturalist , 165, 206-224, 2005.

[53] Le Galliard JF, Ferrire R. and U. Dieckmann, The adaptive dynamics of altruism in spatially
heterogeneous populations,

Evolution, 57, 1-17, 2005.

[54] Lehrer E. and D. Rosenberg,


information,

What restrictions do bayesian games impose on the value of

Journal of Mathematical Economics, 2006.

[55] D. Martin, Borel determinacy,


[56] D. Martin, et J. Steel,

Ann. of Math. 102, 363371, 1975.

A proof of projective determinacy,

J. Amer. Math. Soc.

1, 71125,

1989
[57] Melikyan, A. and P. Bernhard,
dierential games,
[58] I. Neeman,

Geometry of optimal paths around focal singular surfaces in

Appl. Math. Optimization, 52, 23-37, 2005.

Determinacy in

L(R)

(A survey), To appear in the Handbook of Set Theory.

19

[59] Quincampoix M. and V. Veliov, Optimal Control of Uncertain Systems with Incomplete Information for the Disturbances,

SIAM J. of Control and Optim., 43, 1373-1399, 2005.

[60] Rainer C.. On two dierent approaches to nonzero-sum stochastic dierential games, paratre
dans

AMO, 2006.

[61] Renault J., 3-player repeated games with lack of information on one side.

of Game Theory, 30, 221-245, 2001.

[62] Renault J.,

International Journal

The value of Markov chain repeated games with lack of information on one side.

Mathematics of Operations Research, 31, 490-512, 2006.

[63] Renault J. and T. Tomala,


information and signals.

Learning the state of nature in repeated game with incomplete

Games and Economic Behavior, 47, 124156, 2004.

[64] Renault J. and T. Tomala. Communication equilibrium payos of repeated games with imperfect
monitoring.

Games and Economic Behavior, 49, 313-344, 2004.

[65] Rosenberg D., E. Solan and N. Vieille, Stochastic games with single controller and incomplete
information,

SICON, 43, 90-110, 2004.

[66] Rosenberg D., E. Solan and N. Vieille, Blackwell Optimality in Markov Decision Processes with
Partial Observation,

Annals of Statistics, 30, 2002.

[67] Rosenberg D., E. Solan and N. Vieille, Social learning in one-arm bandit problems,

Econometrica,

forthcoming.
[68] Serea O.,

Discontinuous dierential games and control systems with supremum cost.

Anal. Appl., 270, 519-542, 2002.

J. Math.

[69] Sorin S., New approaches and recent advances in two-person zero-sum repeated games, in

vances in Dynamic Games, Nowak A. S. and K. Szajowski (eds.), Birkhauser, 67-93, 2005.

Ad-

[70] Stoltz G. and G. Lugosi, Learning correlated equilibria in games with compact sets of strategies.

Games and Economic Behavior, paratre.

[71] Vnnen J., Games and trees in innitary logic: A Survey, In M. Krynicki, M. Mostowski and
L. Szczerba, editors,

Quantiers, Kluwer Academic Publishers, 105-138, 1995.

[72] van Baalen M, Jansen VAA,Kinds of kindness: classifying the causes of altruism and cooperation,

J. Evol. Biol., 1377-1379, 2006.

[73] Viossat, Y. The Replicator Dynamics Does not Lead to Correlated Equilibria, paratre dans

Games and Economic Behavior, 2007.

[74] Viossat, Y. Is Having a Unique Equilibrium Robust, paratre dans

Economics, 2007.

Journal of Mathematical

[75] Z. Tang, J. Priaux and J.-A. Dsidri, Multi Criteria Robust Design Using Adjoint Methods and
Game Strategies for Solving Drag Optimization Problems with Uncertainties,

Speed Flow Fields Conference 2005, 487-493, 2005.


20

East West High