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
- Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games. James C. A. Main. 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), LIPIcs 289, Schloss Dagstuhl, 18 pages, 2024. [DOI][Extended version on arXiv]
- Timed Games with Bounded Window Parity Objectives. James C. A. Main, Mickael Randour, Jeremy Sproston. 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), LNCS 13465, Springer, 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]
Invited papers in international conferences
- Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity. Thomas Brihaye, Aline Goeminne, James C. A. Main, Mickael Randour. Keynote lecture given by Thomas Brihaye at the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 23), LIPIcs 284, Schloss Dagstuhl, 26 pages, 2023. [DOI]
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.-
2024:
- MOVEP'24: 16th school on modelling and verification of parallel processes (INRIA Rennes, Rennes, France).
- STACS 2024: 41st International Symposium on Theoretical Aspects of Computer Science (Université Clermont-Auvergne, Clermont-Ferrand, France).
-
2023:
- Journées Nationales du GT-Vérif 2023, (IRIF, Paris, France).
- LAMAS&SR 2023 (Jagiellonian University, Krakow, Poland).
-
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).