Back
  1. Home
  2. Profile of Aline Goeminne (UMONS)
Profil

Goeminne Aline

Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives

Main Referenced Co-authors
BRIHAYE, Thomas  (12)
BRUYERE, Véronique  (9)
Raskin, Jean-François (6)
RANDOUR, Mickaël  (4)
Thomasset, Nathan (4)
Main Referenced Keywords
Complexity (1); complexity (1); Finite memory (1); finite-memory strategies (1); Finite-memory strategy (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (29)
Main Referenced Disciplines
Computer science (22)
Mathematics (20)
Electrical & electronics engineering (18)

Publications (total 40)

The most downloaded
32 downloads
Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (30 June 2021). On relevant equilibria in reachability games. Journal of Computer and System Sciences, 119, 211-230. https://hdl.handle.net/20.500.12907/17822

The most cited

16 citations (Scopus®)

Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games [Paper presentation]. International Conference on Concurrency Theory, Amsterdam, Netherlands. https://hdl.handle.net/20.500.12907/27617

Goeminne, A., & Monmege, B. (In press). Permissive Equilibria in Multiplayer Reachability Games. In 33rd EACSL Annual Conference on Computer Science Logic 2025. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. doi:10.4230/LIPIcs.CSL.2025.23
Peer reviewed

De Landtsheer, R., Goeminne, A., & Meurisse, Q. (In press). Enabling Decentralized Collaboration Among Transporters through an Optimizing Trading Network for Transport Orders. In 5th International Conference, IN4PL 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part I. Springer. doi:10.1007/978-3-031-80775-6_8
Peer reviewed

Goeminne, A. (19 September 2024). Permissive Equilibria in Multiplayer Reachability Games [Paper presentation]. Highlights 2024 of Logic, Games and Automata, Bordeaux, France.
Peer reviewed

Brihaye, T., Goeminne, A., Main, J., & Randour, M. (December 2023). Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk). Leibniz International Proceedings in Informatics, 284, 1:1-1:26. doi:10.4230/LIPIcs.FSTTCS.2023.1
Peer Reviewed verified by ORBi

Goeminne, A. (12 October 2023). Multi-weighted Reachability Games [Paper presentation]. 17th International Conference on Reachability Problems, Nice, France.
Peer reviewed

Goeminne, A. (09 October 2023). A stroll with reachability games [Paper presentation]. MOVE seminar, Marseille, France.

Goeminne, A. (28 July 2023). Multi-Weighted Reachability Games [Paper presentation]. Highlights of Logic, Games and Automata 2023, Kassel, Germany.
Peer reviewed

Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer !

Brihaye, T., & Goeminne, A. (2023). Multi-weighted Reachability Games. In O. Bournez (Ed.), Reachability Problems - 17th International Conference, RP 2023, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-45286-4_7
Peer reviewed

Goeminne, A. (14 September 2022). Non-Blind Strategies in Timed Network Congestion Games [Paper presentation]. 20th International Conference on Formal Modeling and Analysis of Timed Systems.
Peer reviewed

Goeminne, A., Markey, N., & Sankur, O. (2022). Non-blind Strategies in Timed Network Congestion Games. In S. Bogomolov (Ed.), Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-15839-1_11
Peer reviewed

Goeminne, A. (25 August 2021). On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games [Paper presentation]. 9th International Conference on Formal Modeling and Analysis of Timed Systems.

Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (30 June 2021). On relevant equilibria in reachability games. Journal of Computer and System Sciences, 119, 211-230.
Peer Reviewed verified by ORBi

Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (01 January 2021). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. Information and Computation, 278 (104594).
Peer Reviewed verified by ORBi

Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (05 November 2020). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Logical Methods in Computer Science, 16 (4), 8:1-8:43.
Peer reviewed

Goeminne, A. (01 November 2020). Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games. Information Processing Letters, 163. doi:10.1016/j.ipl.2020.105996
Peer Reviewed verified by ORBi

Goeminne, A. (03 September 2020). On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games [Paper presentation]. International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Austria.
Peer reviewed

Brihaye, T., & Goeminne, A. (2020). On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. In 18th International Conference, FORMATS 2020 Vienna, Austria, September 1–3, 2020 Proceedings. Springer. doi:10.1007/978-3-030-57628-8_6
Peer reviewed

Goeminne, A. (05 March 2020). On Relevant Equilibria in Reachability Games [Paper presentation]. 68NQRT seminar, Rennes, France.

Goeminne, A. (22 November 2019). Multiplayer Reachability Games Played on Graphs [Paper presentation]. Grascomp Doctoral Day (GDD'19), UNamur, Belgium.

Goeminne, A. (18 September 2019). On Relevant Equilibria in Reachability Games [Paper presentation]. Highlights of Logic, Games and Automata, Warsaw, Poland.
Peer reviewed

Goeminne, A. (11 September 2019). On Relevant Equilibria in Reachability Games [Paper presentation]. 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.
Peer reviewed

Goeminne, A. (27 August 2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games [Paper presentation]. International Conference on Concurrency Theory, Amsterdam, Netherlands.
Peer reviewed

Goeminne, A. (22 August 2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.

Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). On Relevant Equilibria in Reachability Games. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/39077.

Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games [Paper presentation]. International Conference on Concurrency Theory, Amsterdam, Netherlands.

Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). On Relevant Equilibria in Reachability Games [Paper presentation]. Reachability Problems, Brussels, Belgium.

Goeminne, A. (16 May 2019). PSPACE algorithm for SPEs in quantitative reachability games [Paper presentation]. Centre Fédéré en Vérification (ULB), Bruxelles, Belgium.

Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/39349.

Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). A vous de jouer !

Goeminne, A. (05 March 2019). Games played on graph with quantitative reachability objectives [Poster presentation]. Mardi des Chercheurs, Mons, Belgium.

Goeminne, A. (04 December 2018). Jeux sur graphe et objectifs d'atteignabilité [Paper presentation]. Séminaire Jeunes (Math-Info), Mons, Belgium.

Goeminne, A. (26 September 2018). Constrained existence problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives [Paper presentation]. International Symposium on Games, Automata, Logics, and Formal Verification, Saarbrücken, Germany.
Peer reviewed

Goeminne, A. (19 September 2018). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives [Paper presentation]. Highlights of Logic, Games and Automata, Berlin, Germany.
Peer reviewed

Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. https://orbi.umons.ac.be/handle/20.500.12907/40058

Goeminne, A. (17 July 2018). Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives [Paper presentation]. 13th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2018), Cachan, France.
Peer reviewed

Goeminne, A. (13 July 2018). Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives [Paper presentation]. 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis - MoRe 2018, Oxford, United Kingdom.

Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). Constrained Existence Problem for Weak Subgame Perfect Equilibria with Omega-Regular Boolean Objectives [Paper presentation]. International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany.

Goeminne, A. (29 May 2018). Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives [Paper presentation]. GT Vérification, Grenoble, France.

Goeminne, A., Hallet, M., Hautem, Q., & Randour, M. (2018). A vous de jouer !

Contact ORBi UMONS