Summary
I am a PhD student supervised by Mickael Randour from the Department of Mathematics of the University of Mons (UMONS). My PhD is funded by the F.R.S.-FNRS.
My research interests lie in the game-theoretic approach to the synthesis of controllers for reactive systems and the models used for the representation of these controllers. I am also interested in timed systems.
Publications
Peer-reviewed conference proceedings
- Timed Games with Bounded Window Parity Objectives. James C. A. Main, Mickael Randour, Jeremy Sproston. Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, LNCS 13465, Springer, 17 pages, 2022, 17 pages, 2022. [Extended version on arXiv]
- Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions. James C. A. Main, Mickael Randour. 33rd International Conference on Concurrency Theory (CONCUR 2022), LIPIcs 243, Schloss Dagstuhl, 18 pages, 2022. [DOI][Extended version on arXiv]
- Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. James C. A. Main, Mickael Randour, Jeremy Sproston. 32nd International Conference on Concurrency Theory (CONCUR 2021), LIPIcs 203, Schloss Dagstuhl, 16 pages, 2021. [DOI] [Extended version on arXiv]
Research experience
Title: Alternative Strategy
Representations in Games.
Supervisor: Mickael Randour (UMONS).
Subject: Extending window objectives to
timed automata and games.
Supervisor: Mickael
Randour (UMONS).
Subject: Efficient algorithms for
parity games with few colors.
Supervisor: Mickael
Randour (UMONS).
Attended events
My talks with slides.-
2022:
- FORMATS 2022: 20th Conference on Formal Modeling and Analysis of Timed Systems (University of Warsaw, Warsaw, Poland).
- CONCUR 2022: The 33rd International Conference on Concurrency Theory (University of Warsaw, Warsaw, Poland).
- Journées Nationales du GT Vérif (Université de Bordeaux, Bordeaux, France)
- Highlights 2022 of Logic, Games and Automata (Université Paris-Cité, Paris, France).
- PhD Day (Belgian Mathematical Society) (Université de Liège, Liège, Belgium).
- Current Trends in Graph and Stochastic Games (GAMENET Workshop) (Maastricht University, Maastricht, The Netherlands).
-
2021:
- Journées du GT Vérif (ENS Paris-Saclay, Gif-sur-Yvette, France)
- Highlights 2021 of Logic, Games and Automata (Online).
- CONCUR 2021: The 32nd International Conference on Concurrency Theory (Online).
-
2020:
- MOVEP 2020: 14th Summer School on Modelling and Verification of Parallel Processes (Online).
- RDTMA: Regional Days on Model Theory and Applications - 5th edition (Université de Mons, Belgium).
-
2019:
- CONCUR 2019: The 30th International Conference on Concurrency Theory (Amsterdam, Netherlands).