Research Activities
Most of my research activities concern the algorithmic side of game theory and its applications in computer
science. At the moment, I am particularly interested in stochastic games with partial
observation[13,14].
I have proved several results about the existence of pure and stationary
optimal strategies in zero-sum stochastic games with perfect information
[2,3,6,7].
I have also worked on the approximability of parity games by multi-discounted
games and existence of Blackwell optimal strategies in these games
[4,5,7,8,9,11].
Beside their theoretical interests, these results have applications in
controller synthesis for discrete event systems and verification of programs.
A few years ago, I used to be interested in games played on transition graphs of pushdown
automata,
and I designed algorithms for solving parity and exploration games on this
kind of graphs [1].
These results provide new tools for the Model-Checking of programs with
recursive calls.
Other Activities
Publications
-
[25]
A Class of Probabilistic Automata with a Decidable Value 1 Problem,
co-authored with
Nathanaël Fijalkow
and
Youssouf Oualhadj. Accepted for LICS'12.
-
[24]
Subgame Perfection for Equilibria in Quantitative Reachability Games,
co-authored with Thomas Brihaye, Véronique Bruyère and Julie De Pril. Accepted for FOSSACS'12.
-
[22]
Blackwell-Optimal Strategies in Priority Mean-Payoff Games, co-authored with Wieslaw Zielonka.
Accepted for Gandalf'2010. Selected for the journal special issue.
-
[21]
Randomness for Free
, co-authored with Krishnendu Chatterjee, Laurent Doyen and Thomas Henzinger. Accepted for MFCS'10.
-
[20]
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
, co-authored with Blaise Genest, Anca Muscholl and Igor Walukiewicz. Accepted for ICALP'10.
-
[19]
Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
, co-authored with Youssouf Oualhadj. Accepted for ICALP'10.
-
[16]
Solving Simple Stochastic Tail Games
, co-authored with Florian Horn. Accepted for SODA'10.
-
[15]
Solving Simple Stochastic Games with Few Random Vertices
co-authored with Florian Horn. LMCS, vol. 5(2), special issue of FOSSACS'08.
The conference version is [10]
-
[14]
Qualitative Determinacy and Decidability of Stochastic Games with Signals,
co-authored with Nathalie Bertrand and Blaise Genest. Accepted for LICS'09.
-
[11]
"Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games, in
"Logic and Automata: History and Perspectives. Volume 2 of Texts in Logic and Games, pages 331-355, 2007. Amsterdam University Press.
-
[10]
"Simple Stochastic Games with Few Random Vertices are Easy to
Solve"
, co-authored with Florian Horn. Accepted for FOSSACS'08.
-
[9]
"Perfect Information Stochastic Priority Games"
, co-authored with Wiesław Zielonka. Accepted for ICALP'07.
-
[8]
"Limits of Multi-Discounted Markov Decision Processes"
, co-authored with Wiesław Zielonka. Accepted for LICS'07.
-
[6]
"Pure stationary optimal strategies in Markov decision processes"
and its
full version
. Accepted for STACS'07.
-
[5]
"Deterministic Priority Mean Payoff Games as Limits of Discounted Games"
, co-authored with Wiesław Zielonka. Accepted for ICALP'06.
-
[4]
"Discounting Infinite Games, but How and Why ?"
, co-authored with Wiesław Zielonka. Invited paper for GDV'04.
-
[3]
"Games Where You Can Play Optimally Without Any Memory"
, co-authored with Wiesław Zielonka. Accepted for CONCUR'05.
-
[2]
"When can you play positionally ?"
and its
full version
, co-authored with Wiesław Zielonka. Accepted for MFCS'04.
-
[1]
"Parity and Exploration Games on Infinite Graphs"
and its
full version
, Accepted for CSL'04.
Preprints
PhD thesis
I used to be a PhD student under the supervision of
Wiesław Zielonka.
If you can read french and if you are interested in game theory, then have a look at my PhD thesis:
Other Publications
-
Rapport sur les outils de modélisation des systèmes complexes,
MOD-X-3.
"Modelisation and Verification" Seminar
Homepage of the "Modelisation and Verification" seminar.
The "Graphs and Logic" seminar is now taken care of by Michaël Rao, see the
new homepage . Here is an access to the
former homepage year 08/09.
Teaching Activities
Homepage for the ENSEIRB course "Théorie des jeux pour la modélisation informatique".
Some material
for tutorials I used to give
in game theory, information theory, system, java
and maths.
Projects
I am a member of the "DOTS" ANR project,
the "GAMES" EURTN,
the workgroup "Jeux" of the GdR-IM
and the GdR "Théorie des Jeux: Modélisation Mathématiques et Applications".
Animation
Organizer of rencontres étudiants-chercheurs 2010 du LaBRI.
Organizer of "fête du LaBRI" 2008 and 2010.
Co-organizer of the GAMES-EPIT Spring School 2010.
CV
My CV is available
here.
About automatic numerical evaluation of research
Two convincing critics of automatic numerical evaluation of publications and researchers using impact factors, h-numbers and so on...
A technical one, in french, written by INRIA computer scientists.
Another one, "The Mismeasurement of Science" less technical and more acid, written by a Cambridge biologist.
The mitigated opinion of the french academy of science.
Robots
If you are interested in humanoid robots, this is a very good page about
robots with legs and arms, humanoid robots so to say...
Peru
How come you went that down on muy webpage? Are you interested in kite surf in Mancora
or
paddle surf trip
and chill in Mancora in the EcoLodge
or the EcoHouse,
where you can enjoy Yoga.
This hôtel écologique has been built by my cousin arquitecto Tom Gimbert.