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
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
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
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)
WJ Fokkink, RJ van Glabbeek
30th International Conference on Concurrency Theory (CONCUR 2019), 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