![]() | Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer ! |
![]() | Main, J. (04 November 2022). Timed Games with Bounded Window Parity Objectives. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium. |
![]() | Main, J. (14 September 2022). Timed Games with Bounded Window Parity Objectives. Paper presented at International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Varsovie, Poland. |
![]() | Main, J. (14 September 2022). Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem with Finite-Memory Assumptions. Paper presented at International Conference on Concurrency Theory (CONCUR 2022), Varsovie, Poland. |
![]() | Main, J. (11 July 2022). Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem with Finite-Memory Assumptions. Paper presented at Journées Nationales du GT Vérif 2022, Bordeaux, France. ![]() |
![]() | Main, J. (30 June 2022). Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem with Finite-Memory Assumptions. Paper presented at Highlights 2022 of Logic, Games and Automata, Paris, France. ![]() |
![]() | Main, J. (31 May 2022). Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem with Finite- Memory Assumptions. Paper presented at Seminar on games, Turin, Italy. |
![]() | Main, J. (19 May 2022). Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem with Finite-Memory Assumptions. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium. |
![]() | Main, J. (13 May 2022). Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem with Finite-Memory Assumptions. Paper presented at PhD Day of the Belgian Mathematical Society, Liège, Belgium. |
![]() | Main, J. (07 April 2022). Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem with Finite-Memory Assumptions. Poster session presented at Current Trends in Graph and Stochastic Games, Maastricht, Netherlands. |
Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). À vous de jouer ! |
![]() | Main, J. (10 March 2022). Les jeux à la rescousse de l’informatique. Paper presented at Le Mois du Doctorant, Mons, Belgium. |
![]() | Main, J. (13 January 2022). Timed Automata, Weights and Abstractions. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium. |
![]() | Main, J., Randour, M., & Sproston, J. (2022). Timed Games with Bounded Window Parity Objectives. Lecture Notes in Computer Science, 13465, 165-182. doi:10.1007/978-3-031-15839-1_10 ![]() |
![]() | Main, J., & Randour, M. (2022). Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions. Leibniz International Proceedings in Informatics, 243, 22:1-22:18. doi:10.4230/LIPIcs.CONCUR.2022.22 ![]() |
![]() | Main, J. (18 November 2021). Timed Games with Window Parity Objectives. Paper presented at Journées du GT Vérif, Gif-sur-Yvette, France. |
![]() | Main, J. (07 October 2021). Timed Games with Window Parity Objectives. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium. |
![]() | Main, J. (16 September 2021). Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. Paper presented at Highlights of Logic, Games and Automata, Online, Unknown/unspecified. ![]() |
![]() | Main, J. (26 August 2021). Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. Paper presented at International Conference on Concurrency Theory, Paris, France. |
![]() | Main, J., Randour, M., & Sproston, J. (23 August 2021). Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. Leibniz International Proceedings in Informatics, 203, 25:1-25:16. doi:10.4230/LIPIcs.CONCUR.2021.25 ![]() |