Follow
Aline Goeminne
Aline Goeminne
UMONS &ULB
Verified email at umons.ac.be
Title
Cited by
Cited by
Year
The complexity of subgame perfect equilibria in quantitative reachability games
T Brihaye, V Bruyère, A Goeminne, JF Raskin, M Van den Bogaard
Logical Methods in Computer Science 16, 2020
312020
Constrained Existence Problem for Weak Subgame Perfect Equilibria with -Regular Boolean Objectives
T Brihaye, V Bruyère, A Goeminne, JF Raskin
arXiv preprint arXiv:1809.03888, 2018
112018
On relevant equilibria in reachability games
T Brihaye, V Bruyere, A Goeminne, N Thomasset
Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019
82019
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
T Brihaye, A Goeminne
Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020
32020
Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games
A Goeminne
Information Processing Letters 163, 105996, 2020
22020
Multi-weighted reachability games
T Brihaye, A Goeminne
International Conference on Reachability Problems, 85-97, 2023
12023
Non-blind strategies in timed network congestion games
A Goeminne, N Markey, O Sankur
International Conference on Formal Modeling and Analysis of Timed Systems …, 2022
12022
À vous de jouer!
C Capon, A Goeminne, N Lecomte, J Main, M Randour, G Staquet, ...
2023
Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk)
T Brihaye, A Goeminne, JCA Main, M Randour
43rd IARCS Annual Conference on Foundations of Software Technology and …, 2023
2023
Equilibria in Multiplayer Games Played on Graphs
A Goeminne
Université de Mons, Faculté des Sciences, Département de Mathématique …, 2021
2021
30th International Conference on Concurrency Theory (CONCUR 2019)
MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives (full version)
T Brihaye, V Bruyère, A Goeminne, JF Raskin
arXiv preprint arXiv:1806.05544, 2018
2018
Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives
T Brihaye, V Bruyère, A Goeminne, JF Raskin
The system can't perform the operation now. Try again later.
Articles 1–13