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 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 also studied 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 apply to Model-checking of programs with
recursive calls.
Publications
-
[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...