James C. A. Main

Talks

• 2024:
  • Verifying Concisely Represented Strategies in One-Counter Markov Decision Processes, Journées Annuelles du GT Vérif 2024, Université de Lille, 20/11, Lille, France. [slides]
  • On the Structure of Expected Payoff Sets in Multi-Objective Markov Decision Processes, CFV Seminar, ULB, 11/10, Brussels, Belgium. [slides]
  • On the Structure of Expected Payoff Sets in Multi-Objective Markov Decision Processes, MoVe Seminar, Laboratoire d'Informatique et Systèmes, 04/10, Marseille, France. [slides]
  • A Single Dice Roll to Satisfy All Goals: Randomisation Requirements for Strategies in Multi-Objective Markov Decision Processes, Highlights of Logic, Games and Automata 2024, 19/09, Université de Bordeaux, Bordeaux, France. [slides]
  • Complexity and Representations of Controllers in Reactive Synthesis, Dagstuhl Seminar on Stochastic Games, 04/06, Dagstuhl, Germany.
  • Arena-independent Memory Bounds for Nash Equilibria in Reachability Games, MOVEP 2024, 29/05, IRISA, Rennes, France. [slides]
  • Arena-independent Memory Bounds for Nash Equilibria in Reachability Games, STACS 2024, 12/03, Université Clermont-Auvergne, Paris, France. [slides]
  • Arena-independent Memory Bounds for Nash Equilibria in Reachability Games, CFV Seminar, 09/02, ULB, Brussels, Belgium. [slides]
• 2023:
  • Arena-independent Memory Bounds for Nash Equilibria in Reachability Games, Journées Annuelles du GT Vérif 2023, 30/11, IRIF (Université Paris-Cité), Paris, France. [slides]
  • Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-memory Assumptions, LAMAS&SR 2023, 01/10, Jagiellonian University, Krakow, Poland. [slides]
  • Different Strokes in Randomised Strategies, Seminar given at Masaryk University, 12/06, Brno, Czech Republic. [slides]
• 2022:
  • Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-memory Assumptions, CONCUR 2022: The 33rd International Conference on Concurrency Theory, 14/06, University of Warsaw, Warsaw, Poland. [slides]
  • Timed Games With Bounded Window Parity Objectives, FORMATS 2022: 20th Conference on Formal Modeling and Analysis of Timed Systems, 14/09, University of Warsaw, Warsaw, Poland. [slides]
  • Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-memory Assumptions, Journées Nationales du GT Vérif, 11/07, Université de Bordeaux, Bordeaux, France. [slides]
  • Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-memory Assumptions, Highlights of Logic, Games and Automata 2022, 30/06, Université Paris-Cité, Paris, France. [slides]
  • Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-memory Assumptions, Seminar given at the University of Turin, 31/05, Turin, Italy. [slides]
  • Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-memory Assumptions, PhD Day (Belgian Mathematical Society), 13/05, Université de Liège, Liège, Belgium. [slides]
  • Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-memory Assumptions, Current Trends in Graphs and Stochastic Games (GAMENET workshop), 07/04, Maastricht University, Maastricht, the Netherlands. [slides]
  • Les jeux à la rescousse de l'informatique, Mois du Doctorant, 10/03, UMONS, Mons, Belgium. [slides]
• 2021:
  • Timed Games with Window Parity Objectives, Journées du GT Vérif, 18/11, ENS Paris-Saclay, Gif-sur-Yvette, France. [slides]
  • Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, Highlights of Logic, Games and Automata 2021, 16/09, Online. [slides]
  • Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, CONCUR 2021: The 32nd International Conference on Concurrency Theory, 26/08, Online. [slides]