Résumé

Je suis maître de conférences au département d'informatique de l'Université Paris-Est Créteil Val de Marne.
Je fais partie de l'équipe spécification et vérification des systèmes du laboratoire d'algorithmique, complexité et logique (LACL).

Entre novembre 2013 et aout 2014 j'étais postdoctorant dans le service d'informatique théorique (Véronique Bruyère) à l'Institut d'Informatique de la Faculté des Sciences de l'Université de Mons (UMons).

Entre octobre 2012 et septembre 2013 j'étais postdoctorant dans l'équipe MoVe du LIF projet ECSPER à l'université Aix Marseille.

J'ai fait ma thèse sous la direction Anca Muscholl et Hugo Gimbert sur les jeux stochastiques.

Recherche

Le thème principal de mes recherches est la théorie des jeux algorithmique et ses applications à la vérification et la synthèse de contrôleurs.

News

• Déléguation CNRS pour l’année scolaire 2024-2025 au sein de l’unité IRL ReLaX au Chennai Mathematical Institute, à Chennai.
• Notre travail sur la verification de formules temporelles a été accepté à FSTTCS 24
• Notre travail sur la bisimulation dans les systèmes hybrides a été accepté à ICFEM 24

Publications

• [18] Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards co-écrit avec Benoît Barbot, Damien Busatto-Gaston, Catalin Dima. Accepté à QEST+FORMATS'24
• [17] Synthesis of Resource-Aware Controllers Against Rational Agents co-écrit avec Rodica Condurache, Catalin Dima et Nicolas Troquard. Accepté à AAMAS'23
• [16] Arena-Independent Finite-Memory Determinacy in Stochastic Games, co-écrit avec Patricia Bouyer, Vandenhove Pierre, et Mickael Randour. Accepté à LMCS;
• [15] Careful Autonomous Agents in Environments With Multiple Common Resources co-écrit avec Rodica Condurache, Catalin Dima, Madalina Jitaru et Nicolas Troquard. Accepté à AREA@IJCAI-ECAI 2022;
• [14] Arena-Independent Finite-Memory Determinacy in Stochastic Games, co-écrit avec Patricia Bouyer, Vandenhove Pierre, et Mickael Randour. Accepté à CONCUR'20;
• [13] Rational Synthesis in the Commons with Careless and Careful Agents co-écrit avec Rodica Condurache, Catalin Dima et Nicolas Troquard. Accepté à AAMAS'21
• [12] Life is Random, Time is Not: Markov Decision Processes with Window Objectives, co-écrit avec Thomas Brihaye, Florent Delgrange, et Mickael Randour apparaitra dans Logical Methods in Computer Science 16(4) pages 13:1-13:30, 2020.
• [11] Games Where You Can Play Optimally with Arena-Independent Finite Memory, co-écrit avec Patricia Bouyer, Stéphane Leroux, Vandenhove Pierre, et Mickael Randour. Accepté à CONCUR'20;
• [10] Life is Random, Time is Not: Markov Decision Processes with Window Objectives, co-écrit avec Thomas Brihaye, Florent Delgrange, et Mickael Randour. Accepté à CONCUR'19 (Best paper award).
• [9] The Complexity of Rational Synthesis for Concurrent Games, co-écrit avec Rodica Condurache et Nicolas Troquard. Accepté à CONCUR'18.
• [8] Rational verification in Iterated Electric Boolean Games, co-écrit avec Nicolas Troquard. Accepté à SR'16.
• [7] Deciding the value 1 problem for probabilistic leaktight automata, co-écrit avec Nathanaël Fijalkow, Hugo Gimbert et Edon Kelmendi. Accepté à LMCS, Volume 11, Issue 2.
• [6] Probabilistic Robust Timed Games, co-écrit avec Pierre-Alain Reynier et Ocan Sankur. Accepté à CONCUR'14.
• [5] Two Recursively Inseparable Problems for Probabilistic Automata, co-écrit avec Nathanaël Fijalkow, Florian Horn et Hugo Gimbert. Accepté à MFCS'14.
• [4] Perfect-Information Stochastic Mean-Payoff Parity Games, co-écrit avec Krishnendu Chatterjee, Laurent Doyen et Hugo Gimbert. Accepté à FOSSACS'14.
• [3] Deciding the Value 1 Problem for #-acyclic Partially Observable Markov Decision Processes, co-écrit avec Hugo Gimbert. Accepté à SOFSEM'14.
• [2] A Class of Probabilistic Automata with a Decidable Value 1 Problem, co-écrit avec Nathanaël Fijalkow et Hugo Gimbert. Accepté à LICS'12.
• [1] Probabilistic Automata on Finite Words: Decidable and Undecidable Problems, co-écrit avec Hugo Gimbert. Accepté à ICALP'10.

Preprints

• [3] acyclic Partially Observable Markov Decision Processes, co-écrit avec Hugo Gimbert.
• [2] Stochastic Mean-payoff Parity Games, co-écrit avec Krishnendu, Laurent Doyen, et Hugo Gimbert.
• [1] Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions, co-écrit avec Hugo Gimbert et Soumya Paul.

Enseignement

Les supports et informations concernant les cours sont disponibles sur EPREL.

Contact

Youssouf Oualhadj
Email: youssouf.oualhadj replaceBy@ lacl.fr
Bureau: P2 223
Tel: +33 (0) 1 45 17 14 75

Adresse
Youssouf Oualhadj
LACL, Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
94010 Créteil Cedex