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 Bogaard
arXiv preprint arXiv:1905.00784, 2019
122019
Constrained existence problem for weak subgame perfect equilibria with ω-regular boolean objectives
T Brihaye, V Bruyère, A Goeminne, JF Raskin
Information and Computation, 104594, 2020
62020
On relevant equilibria in reachability games
T Brihaye, V Bruyere, A Goeminne, N Thomasset
International Conference on Reachability Problems, 48-62, 2019
22019
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
M Bogaard, JF Raskin, A Goeminne, V Bruyère, T Brihaye
Logical Methods in Computer Science 16, 2020
2020
Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games
A Goeminne
Information Processing Letters 163, 105996, 2020
2020
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
T Brihaye, A Goeminne
International Conference on Formal Modeling and Analysis of Timed Systems …, 2020
2020
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–8