Aline

Goeminne

I am currently a CNRS postdoctoral researcher at Irisa, Rennes (France), in the SUMO team. I am working with Nicolas Markey and Ocan Sankur on Timed Network Congestion Games.

During my PhD thesis (Octobre 2017 to April 2021), I was co-supervised by Thomas Brihaye in the Department of Mathematics of the University of Mons (UMONS) and Jean-François Raskin in the Computer Science Department of the Université libre de Bruxelles (ULB).

My research interests lie in the fields of Game Theory and Formal Verification. In particular, I am interested in the synthesis of equilibria in multi-player non-zero sum games (e.g., Nash Equilibria, Subgame Perfect Equilibria and weak Subgame Perfect Equilibria).


Publications

Preprints

  • Non-Blind Strategies in Timed Network Congestion Games: Aline Goeminne, Nicolas Markey and Ocan Sankur, FORMATS'22.
  • Conferences

    • On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games:Thomas Brihaye and Aline Goeminne, FORMATS'20. [Preprint on arXiv] [Abstract].
    • On Relevant Equilibria in Reachability Games: Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Nathan Thomasset, RP'19. [Extended version on arXiv] [Abstract].
    • The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games: Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin and Marie van den Bogaard, CONCUR'19, [Extended version on arXiv] [Abstract].
    • Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives: Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Jean-François Raskin, GandALF'18 [Extended version on arXiv] [Abstract].

    Journals

    • [Special issue] Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives: Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Jean-François Raskin, Information and Computation, 2021, vol. 278, p. 104594.
    • [Special issue] On Relevant Equilibria in Reachability Games: Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Nathan Thomasset, Journal of Computer and System Sciences, 2021, vol. 119, p. 211-230.
    • Constrained Existence of weak Subgame Perfect Equilibria in Multiplayer Büchi games: Aline Goeminne, Information Processing Letters Volume 163, November 2020. [Abstract].
    • [Special issue] The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games: Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin and Marie van den Bogaard, Logical Methods in Computer Science, 16, 4, 8:1-8:43 (2020).

    Attended events and talks

    • 2021: GT Verif 2021 (Online), FORMATS'21 (Online), CONCUR'21 (Online).
    • 2020: HIGHLIGHTS'20 (Online), FORMATS'20 (Online), MOVEP (Online).
    • 2019: Grascomp Doctoral Day (GDD’19) (Namur, Belgium), HIGHLIGHTS'19 (Warsaw, Poland), RP'19 (Bruxelles, Belgium), CONCUR'19 (Amsterdam, Netherlands), Theory and Algorithms in Graph and Stochastic Games (Mons, Belgium), Mardi des Chercheurs 2019 (Mons, Belgium).
    • 2018: GandALF 2018 (Saarbrücken, Germany), HIGHLIGHTS 2018 (Berlin, Germany), MOVEP (ENS Cachan, France), MoRe at FLoC 2018 (University of Oxford, UK), Logic and learning at FoPPS 2018 (University of Oxford, UK), GT Verif 2018 (VERIMAG, Grenoble, France) .
    • 2017: HIGHLIGHTS 2017 (London, UK) .
    My talks (with slides).

    Teaching and other activities

    Teaching

    Calculability and complexity Teaching Assistant 4th year September 2019 - December 2021

    I give exercise sessions of the "Calculability and complexity" course (ULB) given by Jean-François Raskin.

    Mathématiques effectives Teaching Assistant Maths: 4th year September 2018 - June 2021

    I give exercise sessions of the "Mathématiques effectives" course - a course about Game Theory given by Thomas Brihaye.

    Introductory research internship

    • Gaëtan Staquet -- August 2018
    • Nicolas Lecomte -- August 2020
      • Subject: "Théorie des perspectives et théorie des jeux ".
      • Other co-supervisor: Thomas Brihaye

    Master's thesis

    • Louise Sadoine -- 2019-2020
      • Subject: " Les théories des perspectives appliquées aux jeux sous forme normale "
      • Other supervisor: Thomas Brihaye

    Contact

    You can contact me by:
    • E-mail: aline.goeminne [at] irisa.fr