My publications

2022 pdf
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights, CONCUR22,
avec B. Monmege et P-A. Reynier
2021 pdf
Playing Stochastically in Weighted Timed Games to Emulate Memory, ICALP21
with B. Monmege and P-A. Reynier
2020 pdf
Reaching Your Goal Optimally by Playing at Random, CONCUR20,
with B. Monmege and P-A. Reynier
2019 pdf
Performance Evaluation of Metro Regulations Using Probabilistic Model-checking, RSSRAIL'19,
with N. Bertrand, B. Bordais, L. Hélouët, T. Mari and O. Sankur


Mes talks

2022
slides

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights, CONCUR 2022
2022
slides

Playing stochastically in Weighted Timed Games to Emulate Memory, Seminar of the group of Christel Baier, Dresden Germany
2022
slides

Playing stochastically in Weighted Timed Games to Emulate Memory, MOVEP 2022
2022 slides
Playing stochastically in Weighted Timed Games to Emulate Memory, TickTac ANR annual meeting
2021 slides
Playing stochastically in Weighted (Timed) Games to Emulate Memory, GT verif annual meeting
2021 slides
Playing stochastically in Weighted Timed Games to Emulate Memory, MoVe seminar
2021 slides
Playing stochastically in Weighted Timed Games to Emulate Memory, HighLigth 2021 (poster)
2021
slides
Playing stochastically in Weighted Timed Games to Emulate Memory, ICALP 2021 (video)
2020
slides
Reaching Your Goal Optimally by Playing at Random, TickTac ANR annual meeting
2020
slides
Reaching Your Goal Optimally by Playing at Random, MoVe seminar
2020 slides
Reaching Your Goal Optimally by Playing at Random, CONCUR20



Attended events




Students supervision




Administrative activity




Implementation project





Popular Science





Teaching

2022-2023

I am teaching in computer science department of Aix-Marseille Université.

2021-2022

I am teaching in computer science department of Aix-Marseille Université.

2020-2021

I am teaching in computer science department of Aix-Marseille Université.

2016-2017

I taught in ISTIC at Université de Rennes

and in primary school



Research interships

Stochastic Strategies in Quantitative or Timed Games

From January 2020 to July 2020, I did a research internship at Aix-Marseille University under the supervision of
Pierre-Alain Reynier
and Benjamin Monmège. During this internship, I worked on a problem stemming from game
theory. The objective is to study a compromise between memory and the probabilities used in the strategies of
quantitative or timed games at cost. Here are my bibliographic report and the slides of the presentation, as well
as my internship report and the slides of the presentation.


Selective Monitoring

From May 2018 to August 2018, I did an introductory research internship at the University of Oxford under the
supervision of Stefan Kiefer. During this internship, I worked on a monitoring problem on probabilistic automatons.
The objective was to find a strategy for minimizing the observations on our automation but deciding, as soon
as possible, the presence or absence of errors. Then we tried to classify this problem. Here is my report and the slides
of the presentation. This internship was also the opportunity to attend theFLOC 2018 conference as a volunteer.
I was then able to discover a conference (on the side of the organization and the side of the auditor).
This experience was very enriching and was the opportunity for me to meet researchers from the community.
I would like to thank Stefan Kiefer for his welcome, his time, our interactions as well as the opportunities
he offered me (especially with the FLOC conference).


Model checking rail networks

With Benjamin Bordais and Thomas Mari, we make an intership (research project) during our first year of master degree.
Ocan Sankur, Loïc Hélouët and Nathalie Bertrand welcom us in their team, SUMO (IRISA/Inria Rennes) a half of a day per
week. In this project, we work modelisation, verification and regulation of urban train networks. To do so, we use probabilistic
models (DTMC, MDP) to reflect the unpredictable delays of metros. The objective is to evaluate the performances of given
regulation policies, or to design new optimal regulation policies.

During the first semester, we create a bibliography. So, we have read some research articles about verification with MDP or
DTMC, dalays of rail networks modelisation and PRISM, Storm tools. This work was concluded by a report and a presentation
(here our slides). During the second semester, we will reach our goals.

This project interested me both for the scientific topic and for the human aspect. It allows me to meet exciting people and improve
my knowledge about interesting subjects. I want to thanks our supervisors Nathalie Bertrand, Loïc Hélouët and Ocan Sankur for
their time, their accomodation and their help all along this year.


Panorama des modèles et outils de vérification pour les systèmes probabilistes

In summer 2017, I made a resaerch intership in Grenoble (Inria Rhône-Alpes) supervized by Hubert Garavel. I Have study the
verification tools for the probabilistic systems. Our goal was build a tools databases with their caracterisitcs: authors, versions,
models and logic used, published examples. Datas are stocked and organised on this webpage. Moreover, I wrote a script
(caracteristics based) to sort data. This work has concluded by a report (in French) and a presentation (in French). I want to
thinks Hubert Garavel and Convecs Inria team for their welcom, their tims and our discussion all along this intership.