Profil

Goeminne Aline

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

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

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


Main Referenced Co-authors
Brihaye, Thomas  (10)
Bruyère, Véronique  (9)
Raskin, Jean-François (6)
Thomasset, Nathan (4)
Randour, Mickaël  (3)
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (28)
Main Referenced Disciplines
Electrical & electronics engineering (26)
Mathematics (9)
Computer science (3)

Publications (total 29)

The most downloaded
11 downloads
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. https://hdl.handle.net/20.500.12907/29500
The most cited
12 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 presented at International Conference on Concurrency Theory, Amsterdam, Netherlands. https://hdl.handle.net/20.500.12907/27617

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

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.
Peer Reviewed verified by ORBi

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

Brihaye, T., & Goeminne, A. (01 September 2020). On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. Lecture Notes in Computer Science, 12288. doi:10.1007/978-3-030-57628-8_6
Peer reviewed

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

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

Goeminne, A. (18 September 2019). On Relevant Equilibria in Reachability Games. Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland.

Goeminne, A. (11 September 2019). On Relevant Equilibria in Reachability Games. Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.

Goeminne, A. (27 August 2019). The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Paper presented at International Conference on Concurrency Theory, Amsterdam, Netherlands.

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

Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). On Relevant Equilibria in Reachability Games. Eprint/Working paper retrieved from https://orbi.umons.ac.be/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 presented at International Conference on Concurrency Theory, Amsterdam, Netherlands.

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

Goeminne, A. (16 May 2019). PSPACE algorithm for SPEs in quantitative reachability games. Paper presented at 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. Eprint/Working paper retrieved from https://orbi.umons.ac.be/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 session presented at Mardi des Chercheurs, Mons, Belgium.

Goeminne, A. (04 December 2018). Jeux sur graphe et objectifs d'atteignabilité. Paper presented at 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 presented at International Symposium on Games, Automata, Logics, and Formal Verification, Saarbrücken, Germany.

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

Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives.

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

Goeminne, A. (13 July 2018). Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives. Paper presented at 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 presented at 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 presented at GT Vérification, Grenoble, France.

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

Contact ORBi UMONS