Aline Goeminne

According to our database, Aline Goeminne authored at least 13 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Permissive Equilibria in Multiplayer Reachability Games.

Aline Goeminne, Benjamin Monmege

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Enabling Decentralized Collaboration Among Transporters Through an Optimizing Trading Network for Transport Orders.

Renaud De Landtsheer, Aline Goeminne, Quentin Meurisse

Proceedings of the Innovative Intelligent Industrial Production and Logistics, 2024

2023

Multi-weighted Reachability Games.

Thomas Brihaye, Aline Goeminne

Proceedings of the Reachability Problems - 17th International Conference, 2023

Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk).

Thomas Brihaye, Aline Goeminne, James C. A. Main, Mickael Randour

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

Non-blind Strategies in Timed Network Congestion Games.

Aline Goeminne, Nicolas Markey, Ocan Sankur

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

On relevant equilibria in reachability games.

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Nathan Thomasset

J. Comput. Syst. Sci., 2021

Constrained existence problem for weak subgame perfect equilibria with <i>ω</i>-regular Boolean objectives.

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin

Inf. Comput., 2021

2020

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games.

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard

Log. Methods Comput. Sci., 2020

Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games.

Aline Goeminne

Inf. Process. Lett., 2020

On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games.

Thomas Brihaye, Aline Goeminne

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version).

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard

CoRR, 2019

2018

Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives.

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives.

Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin

CoRR, 2018